Yo-Sub Han

• Implementation and Application of Automata
• Descriptional Complexity of Formal Systems