《编译原理教学-华南理工》TINY+ new.docVIP

TINY+ 我们在这里定义一种编程语言，叫TINY+，它是TINY语言的超集，包含声明、if语句、do-while语句，string等等。 下面主要介绍： 语言的词汇规约，包括语言符号的定义； 每一种语言的EBNF（扩展范式）描述构建； 主要语义描述； 程序样例。 注意：蓝色部分属于TINY语言，红色部分是TINY+新增加的，下同。 一．词汇规约 1.关键字KEY（保留字，小写字母）： true false or and not int bool string while do if then else end repeat until read write 实验一原来的方案是所有的关键字Kind都为KEY，如：(KEY, xxx) 这对实验二会造成麻烦。故为每个关键字都分配一个Kind值，具体如下： (TK_TRUE, true), (TK_FALSE, false), (TK_OR, or) (TK_AND, and), (TK_NOT, not), (TK_INT, int), (TK_BOOL, bool), (TK_STRING, ’…’), (TK_WHILE, while), (TK_DO, do), (TK_IF, if), (TK_THEN, then), (TK_ELSE, else), (TK_END, end), (TK_REPEAT, repeat), (TK_UNTIL, until), (TK_READ, read), (TK_WRITE, write), 2.特殊符号SYM： = = , { } ; := + - * / ( ) = 为每个操作符分配一个Kind值，原因如上。 (TK_GTR, ), (TK_LEQ, =), (TK_GEQ, =) (TK_COMMA, ,), (TK_SEMICOLON, ;), (TK_ASSIGN, :=), (TK_ADD, +), (TK_SUB, -), (TK_MUL, *), (TK_DIV, /), (TK_LP, (), (TK_RP, )), (TK_LSS, ), (TK_EQU, =) 其他token如下： ID（标识符），第一个字符为英文字母 ID=letter (letter | digit)* NUM（数值常数） NUM=digit digit* STRING（字符串常数） STRING= any character except 由单引号包含起来，任何除单引号外的字符，且不能超过一行 letter=a|…|z|A|…|Z digit=0|…|9 大小写字母有区分 空白部分由空格、空行、tab键组成，会被忽略，用于分隔标识符、数字、关键字等 注释为被大括号包含起来的内容 {…} ，不能嵌套，可以跨行 （TINY+的EBNF文法，实验二用到） 二．语法 蓝色的符号为非终结符，黑色+粗体+斜体为终结符 program - declarations stmt-sequence declarations - decl ; declarations |ε decl - type-specifier varlist type-specifier - int | bool | string varlist - identifier [ , varlist ] stmt-sequence - statement [ ; stmt-sequence ] statement - if-stmt | repeat-stmt | assign-stmt | read-stmt | write-stmt | while-stmt while-stmt - while logical-or-exp do stmt-sequence end if-stmt - if logical-or-exp then stmt-sequence [else stmt-sequence] end repeat-stmt - repeat stmt-sequence until logical-or-exp assign-stmt - identifier := logical-or-exp read-stmt - read identifier write-stmt - write logical-or-exp logical-or-exp - logical-and-exp [ or logical-or-exp ] logical-and-exp - comparison-exp [ and logical-and-exp] comparison-exp - add-exp [ compar