美文网首页
第一章 第3节 语言的定义

第一章 第3节 语言的定义

作者: 化二缺 | 来源:发表于2020-03-11 11:47 被阅读0次

推导(Derivations)和归约(Reductions)

给定文法 G = (Vt,Vn,P,S), 如果 α -> β ∈ P ,那么可以将符号串 γαC 中的 α 替换为β 重写为 γβC , 记做 γαC => γβC 。此时,称文法中的符号串 γαC 直接推导出 γβC

归约是推导的逆过程

句型和句子

如果 S => α ,α∈(Vt ∪ Vn) ,则称α是G 的一个句型 (sentential form)

一个句型中既可以包含 终结符 又可以包含非终结符 也可能是空串

如果 S=> w , w ∈ Vt ,则称 w是G 的一个句子
句子是不包含非终结符句型

image.png

语言的形式化定义

由文法G的开始符号S 推导出的所有句子构成的集合称为文法G生成的语言,记为 L(G).

L(G) = {w | S => *w ,w ∈ Vt *}

image.png

语言上的运算

image.png

相关文章

网友评论

      本文标题:第一章 第3节 语言的定义

      本文链接:https://www.haomeiwen.com/subject/wnrqjhtx.html