Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages
Abstract
A language L over an alphabet E is prefix-convex if, for any words x, y, z is an element of Sigma*, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages as special cases. We examine complexity properties of these special prefix-convex languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal, the size of the syntactic semi group, and the quotient complexity of atoms. For binary operations we use arguments with different alphabets when appropriate; this leads to higher tight upper bounds than those obtained with equal alphabets. We exhibit right-ideal, prefix-closed, and prefix-free languages that meet the complexity bounds for all the measures listed above.
Collections
Cite this version of the work
Janusz Brzozowski, Corwin Sinnamon
(2017).
Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages. UWSpace.
http://hdl.handle.net/10012/12530
Other formats
Related items
Showing items related by title, author, creator and subject.
-
Fast Prefix Adders for Non-uniform Input Arrival Times
Held, Stephan; Spirkl, Sophie (Springer Nature, 2017)We consider the problem of constructing fast and small parallel prefix adders for non-uniform input arrival times. In modern computer chips, adders with up to hundreds of inputs occur frequently, and they are often embedded ... -
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages
Brzozowski, Janusz; Li, Baiyu; Ye, Yuli (Elsevier, 2012-08-31)The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of the class of regular languages is the maximal syntactic complexity of languages in ... -
The application of the in-tree knapsack problem to routing prefix caches
Nicholson, Patrick (University of Waterloo, 2009-04-30)Modern routers use specialized hardware, such as Ternary Content Addressable Memory (TCAM), to solve the Longest Prefix Matching Problem (LPMP) quickly. Due to the fact that TCAM is a non-standard type of memory and ...