文法和语言总结与梳理

1.梳理第二章的内容，写一篇理解与总结。

编译器：最基本的数学模型是有穷状态机FSM和正则表达式。它们用来描述词法单位（关键字，标识符）以及被编译器用来识别这些单位的算法。此外，上下文无关文法用于描述程序设计语言的语法结构。

标识符：是一个字符串。所有的标识符都是名字，但有些名字也可以是表达式，变量指向存储中的某个特定位置。
一个函数通常有一个返回值，而一个过程不返回任何值。方法在OO语言中和特定类相关联。

声明:告诉我们事务的类型，而定义告诉我们它们的值。
语法:描述该语言的正确形式。语义定义程序的含义。

词法:单元由各名字和属性值组成，这些词法单元也称为终结符号。

一个文法描述了程序的层次结构。文法的定义使用了称为终结符号的基本符号和称为非终结符号的变量符号。这些符号代表了语言的构造。文法分成4种类型，即0型、1型、2型、3型。区别在于产生式施加的限制不同；以上下文无关文法文法为例：设G（Vn,Vt,P,S）,若P中的每个产生式的形式都是A->aB或A->a，其中A和B都是非终结符，a

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!