Titlebook: Automata Implementation; 4th International Wo Oliver Boldt,Helmut Jürgensen Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 2

Harbor

Thompson Digraphs: A Characterization,rlying digraph of a Thompson machine a Thompson digraph. We establish and prove a characterization of Thompson digraphs. As one application of the characterization, we give an algorithm that generates an equivalent regular expression from a Thompson machine in time linear in the number of states.