第三章编译原理典型习题.docVIP

例题3.1 是非题 1．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。（? ） 2．对任何正则表达式e，都存在一个NFA M，满足L(M)=L(e)??? （??? ） （北京航天航空大学2000年研究生入学试题） 3．对任何正则表达式e，都存在一个DFA M，满足L(M)=L(e)??? （??? ） （北京航天航空大学2000年研究生入学试题） 分析 1．转换图是一张有限方向图。在状态转换图中，结点代表状态，用圆圈表示。状态之间用箭弧连结。箭弧上的标记（字符或字符串）代表在射出结点（即箭弧始结点）状态下可能出现的输入字符或字符串。一张转换图只包含有限个状态（即有限个结点），其中有一个被认为是初态，而且实际上至少要有一个终态（用双圈表示）。由上述转换图的定义知道，转换图只能有一个初态，但至少要有一个终态，这说明转换图可以有多个终态，因此本题错。 2．正规式和有限自动机的等价性：：⑴ 对任何FA M，都存在一个正规式r，使得L(r)=L(M)；⑵ 对任何正规式r，都存在一个FA M，使得L(M)=L(r)。 ????? 因此对任何正则表达式e，都存在一个NFA M，满足L(M)=L(e)。 ????? 所以本题正确。 3．根据上题以及确定有限自动机和非确定有限自动机之间的等价性，可以知道本题正确。 例题3.2 填空题 1．词法分析器输出的单词符号常常表示成如下二元式：（?????????????? ）。 2．一张转换图只包含有限个状态，其中有一个被认为是（? ）态，而且实际上至少要有一个（ ?）态。 3．词法分析器的任务是（????????????????????? ）。 ? 解答 1．词法分析器所输出的单词符号常常表示成如下的二元式：（单词种别，单词符号的属性值） 2．一张转换图只包含有限个状态（即有限个结点），其中有一个被认为是（初）态，而且实际上至少要有一个（终）态（用双圈表示） 3．词法分析器的功能是（输入源程序，输出单词符号）。 ? 例题3.3 简答题 1．何谓扫描器？扫描器的功能是什么？ （国防科大研究生院2001年硕士生入学考试） 2．试简述有穷状态自动机与正则表达式的等价性概念。 （南京大学2000年硕士研究生入学考试） 3．给出有限状态自动机的严格定义。 （浙江大学1998年硕士研究生入学考试试题） 解答 1．扫描器就是词法分析器，它接受输入的源程序，对源程序进行词法分析，识别出一个个的单词符号，其输出结果是单词符号，供语法分析器使用。 一般把词法分析器安排成一个子程序，每当语法分析器需要一个单词符号时就调用这个子程序。每一次调用，词法分析器就从输入串中识别出一个单词符号，把它交给语法分析器。 词法分析器工作的第一步是输入源程序文本。输入串中一般都包含一些没有意义的字符，如：空白符、跳格符、回车符和换行符等编辑性字符除了出现在文字常数中之外，在别处的任何出现都没有意义，而注解部分几乎允许出现在程序中的任何地方。它们不是程序的必要组成部分，预处理时可以将其剔掉。词法分析器一般会构造一个预处理子程序来处理上述任务。 2．∑上的非确定有限自动机M所能识别字的全体L（M）是∑上的一个正规集；同时，对于∑上的每个正规集V，存在一个∑上的确定有限自动机M，使得V=L（M）。 3．有限状态自动机分为确定有限状态自动机和非确定有限状态自动机两类，确定有限自动机是非确定有限自动机的特例，但它们具有相同的表示能力。给出有限状态自动机的定义实际上只需要给出非确定有限状态自动机的定义就可以了： 一个有限状态自动机（NFA）M是一个五元式 M=(S, ?, ?, S0, F) 其中 1. S是一个有限集，它的每个元素称为一个状态； 2. ?是一个有穷字母表，它的每个元素称为一个输入字符； 3. ?是一个从S×?*到S的子集的映照，即 ?：S×?*→2S 4. S0?S，是一个非空初态集； 5. F?S，是一个终态集（可空）。 ? 例题3.4 选择题 1．______不是NFA的成分。 ? A.有穷字母表?????????????????????????????????????? ?????? B.初始状态集合 ? C.终止状态集合????????????????????????????????????????? D.有限状态集合 （北京航天航空大学2000年研究生入学考试试题） 2．______不是编译程序的组成部分。 ? A.词法分析程序????????????????????????????????????????? B.代码生成程序 ? C.设备管理程序???????????????????????????????????????????????? D.语法分析程序 （北京航天航空大学2000年研究生入学