《编译原理(实验部分)》实验4_文法类型判断合编.docx

《编译原理》（实验部分） 实验4_文法类型判断 一、实验目的 输入：一组任意的规则。 输出：相应的Chomsky 文法的类型。 二、实验设备 1、PC 兼容机一台；操作系统为WindowsWindowsXP。 2、Visual C++ 6.0 或以上版本， Windows 2000 或以上版本，汇编工具（在Software 子目录下）。 三、实验原理 1、0型文法（短语文法） 如果对于某文法G，P中的每个规则具有下列形式：u:: = v，其中u∈V＋，v∈V*，则称该文法G为0型文法或短语文法，简写为PSG。 2、1型文法（上下文有关文法） 如果对于某文法G，P中的每个规则具有下列形式：xUy:: = xuy，其中U∈VN；u∈V＋；x，y∈V*，则称该文法G为1型文法或上下文有关文法，也称上下文敏感文法，简写为CSG。 3．2型文法（上下文无关文法） 如果对于某文法G，P中的每个规则具有下列形式：U :: = u，其中U∈VN；u∈V＋，则称该文法G为2型文法或上下文无关文法，简写为CFG。 4．3型文法（正则文法，线性文法） 如果对于某文法G，P中的每个规则具有下列形式：U :: = T 或 U :: = WT，其中T∈VT；U,W∈VN，则称该文法G为左线性文法。 如果对于某文法G，P中的每个规则具有下列形式：U :: = T 或 U :: = TW，其中T∈VT；U