形式语言理论

被引：12

作者：

冯志伟

机构：

[1] 昆明五中

来源：

计算机科学 | 1979年 / 01期

关键词：

后进先出; 重写规则; 终极; 自动机; 上下文无关文法; 语义学; 有限集合; 有穷集合; 上下文有关文法;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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

引用

页码：34 / 57

页数：24