Characterization of Glushkov automata

Citations of this article
Mendeley users who have this article in their library.


Glushkov's algorithm computes a nondeterministic finite automaton without ε-transitions and with n + 1 states from a regular expression having n occurrences of letters. The aim of this paper is to give a set of necessary and sufficient conditions characterizing this automaton. Our characterization theorem is formulated in terms of directed graphs. Moreover these conditions allow us to produce an algorithm of conversion of a Glushkov automaton into a regular expression of small size. © 2000 Elsevier Science B.V. All rights reserved.




Caron, P., & Ziadi, D. (2000). Characterization of Glushkov automata. Theoretical Computer Science, 233(1–2), 75–90.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free