Learn More
Glushkov algorithm computes a nondeterministic nite automaton without-transition and with n + 1 states from a simple regular expression having n occurrences of letters. The aim of this paper is to give a set of necessary and suucient conditions characterizing this automaton. Our characterization theorem is formulated in terms of directed graphs. Moreover(More)