2 文法和语).pptVIP

文法和语言分类 0型文法（短语结构文法） 有如下形式的规则： α → β ， 其中α∈ V+ ，β∈V* ，V= Vn∪Vt 0型文法描述的语言为0型语言，用L0表示。 文法和语言分类 1型文法（上下文有关文法） 有如下形式的规则： αUβ → αuβ， 其中 U∈Vn，α、β∈V*， u ∈V+ ，V= Vn∪Vt 1型文法描述的语言为1型语言，用L1表示。 文法和语言分类 2型文法（上下文无关文法） 规则都具有如下形式： U→u， 其中 U∈ Vn ， u∈ V*，V= Vn∪Vt 2型文法描述的语言为2型语言，用L2表示。 2型文法是描述程序设计语言语法部分的主要文法。 文法和语言分类 3型文法（正则文法） 规则都具有如下形式： U→a 或U∷=Wa（左线性）或 U→aW（右线性） 其中 U，W∈ Vn， a∈ Vt 3型文法描述的语言为3型语言，用L3表示。 高级程序设计语言的单词符号，如标识符、 无符号整数等都是采用3型文法来描述的。 作业 1 设字母表A={a}，符号串x = aaa，写出下列符号串及其长度：x0, xx, x5以及A+和A*。 2 令∑={a，b，c}，又令x=abc，y=b，z=aab，写出如下符号串及它们的长度：xy，xyz，(xy)3 3 设有文法G[S]：S∷=SS*|SS+|a，写出符号串 aa+a* 规范推导，并