相似書籍: An introduction to automata theory and formal languages