We investigate the complexity of regular operations on languages represented by self-verifying automata. We get the tight bounds for complement, intersection, union, difference, symmetric difference, reversal, star, left and right quotients, and asymptotically tight bound for concatenation. To prove tightness, we use a binary alphabet in the case of boolean operations and reversal, and an alphabet that grows exponentially for the remaining operations. However, we also provide exponential lower bounds for these operations using a fixed alphabet.
CITATION STYLE
Jirásek, J., Jirásková, G., & Szabari, A. (2015). Operations on self-verifying finite automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9139, pp. 231–261). Springer Verlag. https://doi.org/10.1007/978-3-319-20297-6_16
Mendeley helps you to discover research relevant for your work.