文法

1.文法定义

文法是一个四元组，

　　G = (V,T,P,S)

 

V - 变量的非空有穷集，对于所有属于V元素A，A叫作一个语法变量，简称为变量，也可叫作非终极符号。它表示一个语法范畴，所以，本书中有时候又称之为语法范畴。

T - 终极符的非空有穷集，对于所有T的元素a，a叫作终极符，由于V中变量表示语法范畴，T中的字符是语言的句子中出现的字符，所以V和T不存在任何交集。

P - 产生式的非空有穷集合，P中的元素均具有形式a->b,称为产生式，读作a定义为b，a为左部，b为右部，产生式又叫作定义式或者语法规则。

S - S是V的元素，文法G的开始符号。

举例：

({A},{0,1},{A->01,A->0A1},A)

({A},{0,1},{A->0,A->0A},A)

 

2.文法构造

文法构造并没有规律，很多是凭经验来完成。

如对英文句子，每一个单词都有a,b,c,d,……z构成

=>

S -> A|AS

A = a|b|c|d|e|f……|z