编译原理试题：文法与正规式，数组定位，解析技术

"该文件是一份关于编译原理的考试试卷，包含了填空题、判断题、简答题和解答题，涉及正规式、文法、解析器类型、数组存储、属性文法等多个知识点。" 填空题部分： 1. 一个正规式r和一个DFAM等价意味着正规式r可以被等价的确定有限自动机DFAM接受，即它们描述的是同一个语言。 2. 在C语言中，标识符集合通常可以用正规式描述，但具体正规式未给出。 3. LL(1)文法中的第一个“L”代表“Left-to-right”，表示从左到右扫描输入；第二个“L”代表“Leftmost derivation”，表示使用最左推导。 4. 逆波兰式是一种没有括号的表达式表示方式，根据题目给出的条件，逆波兰式为：a b c > or d * - e / x :=。 5. 给出的文法G(S)可以通过操作转化为正规式：(a|b)(b|a)*。 6. 对于数组B[i][j][k][l]，B[4][2][3][7]的起始位置计算为：(4-1)*((4-2+1)*((3-1+1)*8)+8)+((7-4+1)*8)，结果为1552字节。 判断题部分： - 若文法G是二义的，其描述的语言L(G)也可能是二义的，因为二义性源于文法结构，而非语言本身。 - 正规式(0|1)*和((ε|0)1*)*等价，因为两者都能接受所有0和1组成的序列。 - SLR(1)文法是LALR(1)文法的子集，因此SLR(1)文法一定是LALR(1)文法。 - 只含有综合属性的属性文法是L属性文法，但L属性文法的翻译器通常借助LR分析器实现，这一说法是正确的。 - 自展技术描述了如何逐步构建编译程序，先用目标机的低级语言编写一部分，然后用这部分来编译整个源语言，这是编译器构造的一种方法。 简答题部分： - 生成语言{anbm|n,m>=1}的正则文法可以写作：S -> aSb | ε。 - 文法G(E)的改写和LL(1)判断需具体分析，改写后消除左递归和提取公因子，然后检查是否满足LL(1)条件。 - 原本无冲突的LR(1)分析表在合并同心集后得到LALR(1)分析表，新的表中不会出现移进-归约冲突，因为原有的LR(1)分析表没有冲突，合并同心集不会引入新冲突。 - 句型(T*F+i)的最右推导和语法树需要根据文法E->T|E+T，T->F|T*F，F->(E)|i来构建。 - 句型的短语、直接短语和句柄需要根据文法规则来确定。 解答题部分： - 语言L={w|w的最后两个字母是aa或bb}的正规式可以写作：(a(aa|bb)*|b(aa|bb)*)，转换为最简DFA需要构造状态转移图。 - 文法G[S]: S->aBS|bAS|ε, A->bAA|a, B->aBB|b是否为LL(1)，需要检查是否满足LL(1)条件并构造LL(1)分析表。 - 构造给定文法的LR(0)项目集规范族和识别活前缀的DFA，然后判断是否为SLR(1)文法，需要进行详细分析和构造过程。 以上是试卷中涉及的部分知识点详解，具体解答需要根据题目内容进行详细计算和分析。