1, 实验名称
文法类型的判断和推到序列的生成
2, 实验目的
输入:一组任意的文法规则和任意符号串。
输出:相应的Chomsky文法类型和推导。
3, 实验原理
1,文法定义:
文法G定义为四元组(Vn,Vt,P,S)。
其中Vn为非终结符集,Vt为终结符集,P为规则(a->b)的集合,a∈(Vn∪VT)*且至少包含一个非终结符,b∈(Vn∪Vt)*,Vn,Vt,P是非空有穷集。S为起始符,至少在一条规则中左部出现。
Vn和Vt不含公共元素。
2,Chomsky文法类型判断:
如果一个文法是0型文法:
若每个产生式均为|右|>=|左|,空产生式除外,则该文法为1型文法。
若文法是1型文法,并且,每个产生式的左部只有一个非终结符,则该文法是2型文法。
若文法是2型文法,且所有产生式均为左线性或者均为右线性,则该文法为3型文法。空产生式除外。
其中,左线性为形如S->Aa ,S->a∈∈
右线性形如 S->Aa,S->a
4, 实验思路
根据实验原理可知,只要扫描每一个产生式,一次判断每个产生式的左部字符数,非终结符个数,右部字符数,非终结符个数。其中,若