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