2022年软件设计师考试试题回顾：文法

【考法分析】

本知识点主要以选择题形式考察文法的主要内容。

【要点分析】

文法和语言的形式描述

定义：描述语言语法结构的规则

分类：乔姆斯基（Chomsky）把文法分成 4 种类型，即 0 型、1 型、2 型和 3型。这 4 类文法之间的差别在于对产生式要施加不同的限制。若文法 G=（VV，P， S）的每个产生式α→β，均有αe（VyUV，）*，α至少含有一个非终结符，且βe（V，Ur，）"，则称G为0型文法。对0型文法的每条产生式分别施加以下限制，则可得以下文法。

1型文法∶ G的任何产生式α→β（S→ε除外）均满足|q|≤8（|x表示x中文法符号的个数）。

2 型文法∶ G的任何产生式形如A→β，其中 A∈Vw，βe（V，UV，）"。

3 型文法∶ G的任何产生式形如 A→a或 A→aB（或者 A→Ba），其中 A，B∈Vy，a∈V

0型文法也称为短语文法，其功能相当于图灵机，任何0型语言都是递归可枚举的;反之，递归可枚举集也必定是一个0型语言。1型文法也称为上下文有关文法，这种文法意味着对非终结符的替换必须考虑上下文，并且一般不允许替换成ε串。

【备考点拨】

句子和语言。设有文法 G=（V，， V7， P，S）

推导与直接推导∶推导就是从文法的开始符号 S出发，反复使用产生式，将产生式左部的非终结符替换为右部的文法符号序列（展开产生式用→ 表示），直到产生一个终结符的序列时为止。

【相关试题】

简单算术表达式的结构可以用下面的上下文无关文法进行描述(E为开始符号)，( )是符合该文法的句子。

E→T|E+T

T→F|T*F

F→-F|N

N→0|1|2|3l4|5|6|7|8|9

A.2--3*4

B.2+-3*4

C.(2+3)*4

D.2*4-3

参考答案及解析：B