LIPIcs.FSTTCS.2008.1754.pdf
- Filesize: 443 kB
- 12 pages
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression\'s structure. Each intermediate graph represents an extended finite automaton accepting the same language. The character of our construction allows a fine-grained analysis of the emerging automaton\'s size, eventually leading to an optimality result.
Feedback for Dagstuhl Publishing