正则文法

维基百科,自由的百科全书
跳转至: 导航搜索

计算机科学中,正规文法是产生式规则取下述形式的一种形式文法N, Σ, P, S):

  1. A -> a ,此处的AN中的非终结符号a是Σ中的终结符号
  2. A -> aB,此处的ABN中的非终结符号,a是Σ中的终结符号;
  3. C -> ε,此处的CN中的非终结符号。

下面给出一个正规文法的例子: 文法G = (N, Σ, P, S),其中N = {S, A},Σ = {a, b, c},S是起始符号,P包含下述规则:

S -> aS
S -> bA
A -> ε
A -> cA

这个文法描述的语言也可以用正则表达式a*bc* 来表达。

正规文法描述的语言构成了正规语言类,正规语言类中的语言也可以由有限状态自动机正则表达式来表达。

相关条目[编辑]