2012 | OriginalPaper | Buchkapitel
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient
verfasst von : Monika Krausová
Erschienen in: Mathematical and Engineering Methods in Computer Science
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We show that the class of prefix-free languages is closed under intersection, difference, concatenation, square, and the
k
-th power and is not closed under complement, union, symmetric difference, Kleene star, reversal, cyclic shift, shuffle, and left quotient. Then, we study the state complexity of difference and left quotient of prefix-free regular languages. In both cases we get tight bounds. In the case of difference, the tight bound is
mn
−
m
− 2
n
+ 4 and is met by binary languages. In the case of left quotient, the tight bound is 2
n
− 1
. The bound is met by languages over (
n
− 1)-letter alphabet and cannot be met using smaller alphabets.