形式语言与自动机试题(a卷).docVIP

清华大学本科生考试试题专用纸 考试课程 《形式语言与自动机》 A卷 2003年 7 月 2 日 学号： 姓名： 1. (34 pts) 回答 true 或者 false ( Answer true or false ): (2 pts. each) a) _____ 如果一个语言是正规的，那么它可由某个右线性文法生成（If a language is regular, it can be generated by a right-linear grammar）. b) _____ 对于每一个可以被非确定 PDA 接受语言，都存在一个接受它的确定的 PDA （For every language accepted by a nondeterministic PDA, there is a deterministic PDA that accepts the same language）. c) ______ 每个二义文法可以转化为等价的无二义文法（Every ambiguous grammar can be converted to an equivalent unambiguous grammar）. d) ______ 所有C++程序的集合是一个形式语言（The set of all possible C++ programs is a formal language）. e) ______ 由以下产生式定义的文法符合 Chomsky 范式的形式（The following grammar is in Chomsky Normal Form）. S ? AB A ? aA | a B ? bB | b f) _______ 针对正规语言的 pumping 引理可用于证明一个语言是正规的（The pumping lemma for regular languages can be used to prove that a language is regular）. g) _______ 语言 L= { wwR?w? {a, b}* }是正规的，其中 wR 代表 w 的反向字符串（下同）（The language L= { wwR?w ? {a, b}* } is regular，where wR is the reversal of w ( the same in the rest part below )）. h) _______ 对一个 DFA 应用填表算法，合并所有不可区分的状态，则可获得一个等价于该 DFA 的拥有“最少”状态数目的DFA（After applying the table-filling algorithm to a DFA and combining all the distinguished states, one can get an equivalent DFA with the least state number）. i) _______ 对每个可以被 DPDA 接受的语言，都存在一个无二义的上下文无关文法接受它（Every language accepted by a DPDA has an unambiguous context-free grammar）. j) _______ 递归语言不是递归可枚举语言（A recursive language is not a recursively enumerable language）. k) _______ 一个语言可被带三个栈的 PDA 接受，则它也可以由带两个栈的 PDA 接受（Every language accepted by a PDA with three stacks can also be accepted by a PDA with two stacks）. l) _______ 一个语言可被带两个计数器的计数器机接受，则它也可由带一个计数器的计数器机接受（Every language accepted by a two-counter machine is also accepted by a one-counter machine）. m) _______ 对任何语言 L1 和 L2，如果 L1 不是正规的，且 L1 ? L2，那么 L2 不是正规的（For any languages L1, L2, if L1 is not regular and L1 ? L2，then L2 is not regular）. n) _______ 对任何语言 L1 和 L2，如果 L1 和 L2 不是正规的，那么 L1 ? L2 不是正规的 （For