Abstract
A regular expression that represents the language accepted by a given finite automaton can be obtained using the the state elimination algorithm. The order of vertex removal affects the size of the resulting expression. We use here an heuristic to compute an approximation to the order of vertex removal that leads to the smallest regular expression obtainable this way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Delgado, M.: Computing commutative images of rational languages and applications. Theor. Inform. Appl. 35, 419–435 (2001)
Delgado, M., Fernandes, V.H.: Abelian kernels of some monoids of injective partial transformations and an application. Semigroup Forum 61, 435–452 (2000)
Delgado, M., Linton, S., Morais, J.: Automata: A GAP [4] package (accepted), http://www.fc.up.pt/cmup/mdelgado/automata
The GAP Group: GAP – Groups, Algorithms, and Programming. Version 4.4 (2004), http://www.gap-system.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Delgado, M., Morais, J. (2005). Approximation to the Smallest Regular Expression for a Given Regular Language. In: Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S. (eds) Implementation and Application of Automata. CIAA 2004. Lecture Notes in Computer Science, vol 3317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30500-2_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-30500-2_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24318-2
Online ISBN: 978-3-540-30500-2
eBook Packages: Computer ScienceComputer Science (R0)