Over the past twenty years, automata and formal languages have become the standard introductory theory course in both the undergraduate and graduate curricula of computer science.

• 在过去的二十年里，自动机和形式语言成了计算机科学研究生和本科生标准的导论性课程。