We investigate the descriptional complexity of some inverse language operations applied to languages accepted by finite automata. For instance, the inverse Kleene star operation for a language L asks for the smallest language S such that S * is equal to L, if it exists [J. Brzozowski. Roots of star events. J. ACM 14, 1967]. Other inverse operations based on the chop operation or on insertion/deletion operations can be defined appropriately. We present a general framework, that allows us to give an easy characterization of inverse operations, whenever simple conditions on the originally considered language operation are fulfilled. It turns out, that in most cases we obtain exponential upper and lower bounds that are asymptotically close, for the investigated inverse language operation problems. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bianchi, M. P., Holzer, M., Jakobi, S., & Pighizzini, G. (2012). On inverse operations and their descriptional complexity. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7386 LNCS, pp. 89–102). https://doi.org/10.1007/978-3-642-31623-4_7
Mendeley helps you to discover research relevant for your work.