形式语言与自动机理论的经典书籍 追溯了计算机科学与数学的本源