Regular Expressions and State Graphs for Automata
Robert McNaughton, Hisao Yamada · IEEE Transactions on Electronic Computers · 1960
Algorithms are presented for 1) converting a state graph describing the behavior of an automaton to a regular expression describing the behavior of the same automaton (section 2), and 2) for converting a regular expression into a state graph (sections 3 and 4). These algorithms are justified by theorems, and examples are given. The first section contains a brief introduction to state graphs and the regular-expression language.