小型编译系统.docVIP

小型编译系统 需求说明 1．文法 我的文法是扩充C0文法，等级是中偏高 (编号:1KKh8)，我申请获得优秀，以下是文法。红色字体表示是我在原文法基础上进行的扩充。 ＜加法运算符＞?::= ＋｜－＜乘法运算符＞ ?::= ＊｜／＜关系运算符＞ ?::=? ｜=｜｜=｜!=｜==＜字母＞ ??::= ＿｜a｜．．．｜z｜A｜．．．｜Z＜数字＞ ??::= ０｜＜非零数字＞＜非零数字＞ ?::= １｜．．．｜９＜字符＞? ??::=? ‘加法运算符＞｜＜乘法运算符＞｜＜字母＞｜＜数字＞’＜字符串＞ ??::=? “｛合法字符｝”????????????????????????????? //字符串中可以出现所有合法的可打印字符集中的字符＜程序＞ ???::= ［＜常量说明部分＞］［＜变量说明部分＞］{＜有返回值函数定义部分＞}{＜无返回值函数定义部分＞}＜主函数＞＜常量说明部分＞?::= ?const＜常量定义＞;{ const＜常量定义＞;}＜常量定义＞ ??::= ? int＜标识符＞＝＜整数＞{,＜标识符＞＝＜整数＞}| float＜标识符＞＝＜实数＞{,＜标识符＞＝＜实数＞}| char＜标识符＞＝＜字符＞{,＜标识符＞＝＜字符＞}＜整数＞ ???::= ［＋｜－］＜非零数字＞｛＜数字＞｝｜０＜实数＞ ???::= ［＋｜－］整数[.整数]＜标识符＞ ???::=? ＜字母＞｛＜字母＞｜＜数字＞｝＜声明头部＞ ??::= ?int＜标识符＞ |float ＜标识符＞|char＜标识符＞＜变量说明部分＞ ?::=?变量定义;{变量定义;}＜变量定义＞??::= ＜类型标识符＞＜标识符＞{,＜标识符＞}＜常量＞???::=? 整数| 实数|字符＜类型标识符＞????? ::=? int | float | char＜有返回值函数定义部分＞ ?::= ?＜声明头部＞‘(’＜参数＞‘)’ ‘{’＜复合语句＞‘}’＜无返回值函数定义部分＞ ?::=?void标识符‘(’参数‘)’‘{’复合语句‘}’＜复合语句＞ ??::= ?［＜常量说明部分＞］［＜变量说明部分＞］＜语句列＞＜参数＞ ???::=?＜参数表＞＜参数表＞ ???::=? ＜类型标识符＞＜标识符＞{，＜类型标识符＞＜标识符＞}| 空＜主函数＞ ???::=?void main‘(’＜参数＞‘)’ ‘{’＜复合语句＞‘}’＜表达式＞ ???::= ［＋｜－］＜项＞{＜加法运算符＞＜项＞}＜项＞ ????::= ＜因子＞{＜乘法运算符＞＜因子＞}＜因子＞ ???::= ＜标识符＞｜‘(’＜表达式＞‘)’｜＜整数＞｜＜有返回值函数调用语句＞|实数|＜字符＞?????? ???//返回值为char型的函数和＜字符＞, 用字符的ASCII码参加计算＜语句＞ ???::= ＜条件语句＞｜＜循环语句＞| ‘{’语句列‘}’｜＜有返回值函数调用语句＞; | ＜无返回值函数调用语句＞；｜＜赋值语句＞;｜＜do循环语句＞；|for语句；|＜读语句＞;｜＜写语句＞;｜＜空＞|＜情况语句＞｜＜返回语句＞；＜赋值语句＞ ??::= ?＜标识符＞＝＜表达式＞＜条件语句＞??::= ?if ‘(’＜条件＞‘)’＜语句＞［else＜语句＞］＜条件＞ ???::=? ＜表达式＞＜关系运算符＞＜表达式＞｜＜表达式＞ //表达式为0条件为假，否则为真＜循环语句＞ ??::= ?while ‘(’＜条件＞‘)’＜语句＞ ＜do循环语句＞ ::=??do＜语句＞while‘（’＜条件＞‘）’ for语句 ::= for‘(’ 赋值语句； 条件；赋值语句‘）’ 语句＜情况语句＞??::=? switch ‘(’＜表达式＞‘)’ ‘{’＜情况表＞［＜缺省＞］‘}’＜情况表＞???::=? ＜情况子语句＞{＜情况子语句＞}＜情况子语句＞??::=? case＜常量＞：＜语句＞＜缺省＞???::=? default : ＜语句＞＜有返回值函数调用语句＞ ::= ＜标识符＞‘(’＜值参数表＞‘)’＜无返回值函数调用语句＞ ::= ＜标识符＞‘(’＜值参数表＞‘)’＜值参数表＞ ??::= ＜表达式＞{，＜表达式＞}｜＜空＞＜语句列＞???::= ＜语句＞｛＜语句＞｝＜读语句＞ ???::= ?scanf ‘(’＜标识符＞‘)’＜写语句＞ ???::=?printf ‘(’[字符串,][＜表达式＞] ‘)’＜返回语句＞ ??::= ?return[‘(’＜表达式＞‘)’]??? 2．语法图 程序 复合语句 语句列 语句 情况 表达式 项 因子 条件 3．P-code指令系统 伪指令 数值代码 LIT