论文部分内容阅读
形式语言理论对于计算机程序语言和编译程序的研究有着重要意义.本文综述了N.Chom-sky等人在这方面所做的工作,通俗地介绍形式语言理论中四种类型的文法(有限状态文法、上下文无关文法、上下文有关文法和0型文法)以及与之相应的四种自动机(有限自动机、后进先出自动机、线性有界自动机和图灵机).可供计算机软件和数理语言学工作者参考.