type在c语言的用法和短语,编译原理复习题集

《编译原理》复习题集

1．名词解释

短语

句柄

文法

上下文无关文法

LL(1)文法

LR(1)文法

语法分析

无环路有向图(DAG)

后缀式

语法制导翻译

遍

局部优化

词法分析

语法分析

语义分析

源语言

源程序

目标语言

中间语言(中间表示)

2．叙述下面的正规式描述的语言，并画出接受该语言的最简DFA的状态转换图。

( 1 | 01 )* 0*

3．Pascal语言无符号数的正规定义如下：

num→digit+ (.digit+)? (E(+|-)? digit+)?

其中digit表示数字，用状态转换图表示接受无符号数的确定有限自动机。

4．画出Pascal中实数(不带正负号，可带指数部分)的状态转换图。

5．用状态转换图表示接收(a|b)*aa的确定的有限自动机。

6．处于/* 和 */之间的串构成注解，注解中间没有*/。画出接受这种注解的DFA的状态转换图。

7．某操作系统下合法的文件名为

device:name.extension

其中第一部分(device:)和第三部分(.extension)可缺省，device, name和extension都是字母串，长度不限，但至少为1，画出识别这种文件名的确定有限自动机。