Samankaltaisia teoksia: An introduction to automata theory and formal languages