07正则表达式与正则语言.pdf

形式语言与自动机 Formal Languages and Automata Theory 第六章 上下文无关语言 教师：胡春明、赵永望 /zhaoyw/course/flat_2012.html 第六章 上下文无关语言及其性质 上下文无关文法的引入 上下文无关文法的派生 上下文无关文法的化简 上下文无关文法的规范形式 上下文无关语言的性质 文法的乔姆斯基体系 + 定义2.6：设G= ( V, T, P, S )，P=  ，  ( V  T ) ，  ( V  T )* 1）G 叫作0 型文法，或短语结构文法（PSG ）；对应地，L （G ）叫0 型语 言或短语结构语言（PSL ）、递归可枚举集。 2 ）如果对于   ∈P，均有|  | ≥ |  |，则称G 为1 型文法，或上下文 有关文法（CSG ）；对应地，L （G ）叫1 型语言或上下文有关语言( CSL ). 3 ）如果对于   ∈P，均有|  | ≥ |  |，并且 ∈V ，则称G 为2 型文 法，或上下文无关文法（CFG ）；对应地，L （G ）叫2 型语言或上下文无 关语言 （CFL ）。 4 ）如果对于   ∈P，   均具有以下形式：A  ω，A  ωB；其 + 中，A, B ∈V，ω ∈T ，则称G 为3 型文法，或正则文法（RG ）；对应地， L （G ）叫3 型语言或正则语言 （RL ）。 关于乔姆斯基  麻省理工学院语言学的荣誉退休教 授  美国 《科学》杂志评选出的20世纪 全世界前10名最伟大的科学家中目 前唯一的在世者  /wiki/乔姆斯 基  /view/67358. htm 上下文无关文法的提出 问题提出： 1、正则表达式： 电子邮箱: zhaoyw@ (\w+\.)*\w+@(\w+\.)+[A-Za-z]+ URL: https?://[-\w.]+(:\d+)?(/([\w/_.]*)?)? IP 地址 : (((\d{1,2})|(1\d{2})|(2[0-4]\d)|(25[0-5]))\ .){3}((\d{1,2})|(1\d{2})|(2[0-4]\d)|(25[0-5])) /wiki/正则表达式 上下文无关文法的提出 问题提出： 2、正则语言描述模型能力有限，无法描述高级程序设计语言表达式中 “良嵌套”的括号对、( begin … end ) 以及HTML 中标记对x…/x 等配对符号序列的语法规则。 正则文法：A  ω，A  ωB 例如， 描述L （G ）= { (n1 )n1 (n2 )n2 …(nk )nk } 的文法 G：S  S （S）| ε 可证明G不是正则文法 3、高级程序设计语言语法结构绝大多数都用上下文无关文( CFG ) 描述。 上下文无关文法的提出 问题提出： 4、BNF ：Backus normal form，巴克斯范式，又叫Backus-naur form 。 是CFG的一种特殊形式，在计算机中很常见，常用于表达语言的文法结 构 C、C++、Java等语言语法 / 有很多语言的BNF范式 上下文无关文法 定义6-1 ： 对于所有产生式A  ，均有|  | ≥ | A |，并且，A V,   ( VT ) ，文法G = （V ，T，P，S）被称为上下文无关文法。 “上下文无关”：对于所有A V ，如果A   ∈P，则无论A 出现 在句型的什么位置，都可以用 自由替换A ，无需考虑A 出现的上 下文。 第六章 上下文无关语言及其性质 上下文无关文法的引入