Oscar H. Ibarra
Simulation algorithms automata automata implementations automata theory complexity complexity theory finite automata finite-state systems genome grammar systems model checking natural language processing probabilistic automata regular expressions