编译原理ppt2_1.pptVIP

第二章 词法分析 2.1 词法记号及属性 记号的种类 关键字：如 begin，if，? 标识符——表示各种名字：如变量名、数组名和过程名 常量：各种类型的常数 运算符：+，-，*，/，? 界符：逗号、分号、括号等 文字串 关键字识别: 例如: 1 DO8I=3，75 DO 8 I = 3，75 2 DO8I=3.75 3 IF THEN THEN THEN=ELSE; ELSE ELSE=THEN 2.1.2 词法记号的属性 词法分析器的记号常采用二元式表示 (记号名，属性值) 记号名通常用整数编码 记号一般只有一个属性，即指向符号表中的一个表项的指针，与记号有关的信息保存在这个对应的表项中 示例设计 typedef enum { /* reserved words */ IF,THEN,ELSE,END,REPEAT,UNTIL,WHILE, /* multicharacter tokens */ ID,NUM, /* special symbols */ ASSIGN,EQ,LT,PLUS,MINUS,TIMES, LPAREN,RPAREN,SEMI } TokenType; position = initial + rate ? 60的记号和属性值： ?id，指向符号表中position条目的指针? ?assign _ op? ?id，指向符号表中initial条目的指针? ?add_op? ?id，指向符号表中rate条目的指针? ?mul_ op? ?number，整数值60? 2.1.3 词法错误 剩余输入的前缀不能和任何记号的模式匹配 错误恢复 删除一个多余的字符 插入一个遗漏的字符 用一个正确的字符代替一个不正确的字符 交换两个相邻的字符 * * 源程序 词法分析器 语法分析器 取下一个记号 符号表 主要任务是读入输入字符，产生记号序列，提交给语法分析器使用。 去掉源程序的注释以及空格、制表符或换行符 使编译器能将发现的错误信息与源程序的出错位置联系起来 词法分析程序一般作为单独的子程序 在与之间除以外的任何字符 core dumped literal 任何数字常数 3.1416,0,6.02E23 num 字母打头的字母数字串 pi,count,D2 id 或=或=或或或= ,=,=,,,= relation if if if for for for 模式的非形式描述 词素示例 记号 记号(token)是语言的基本单位，相当于自然语言的单词 词法单元(lexeme)表示记号代表的值在源程序中的具体形式 模式(pattern)是描述源程序中表示特定记号的词素集合的规则。 保留字与关键字的区别？ typedef struct { TokenType tokenval; union { char * stringval; int numval; } attribute; } TokenRecord; fi (a == f(x)) ... 有词法错误吗？ *