《编译原理选择题》是一本专注于计算机科学中编译原理领域的练习册，包含了大量精选的选择题，旨在帮助学生和开发者深入理解和掌握编译器的设计与实现。
【编译原理】是计算机科学领域的一个重要分支，主要研究如何将高级编程语言转换成机器可执行的指令。以下是关于该题目所涉及知识点的具体解释：
1. 逆波兰式（Reverse Polish Notation, RPN）是一种数学表达式的表示方式，不使用括号，并且运算符位于操作数之后。例如，对于表达式 A*(B-C*(C/D)) 的逆波兰形式是 B CC D / * - A *。
2. Chomsky 分级将形式语言分为四类，其中2型语言（Type-2或上下文无关语言）可由下推自动机（Pushdown Automaton, PDA）识别。
3. 最左简单子树的末端结点构成的符号串被称为句柄，在解析语法时这是一个重要概念。
4. 在高级语言编程中，编译程序首先会发现源代码中的语法错误，即违反语法规则的情况。这对应选项 A。
5. 用高级语言编写的源代码通常需要经过编译过程转换为目标代码，但并非所有高级语言都需要这样的步骤；例如解释型语言不需要生成目标代码。因此答案是 C：不一定。
6. 若文法定义的语言是一个无限集，则意味着该文法可以产生无限数量的句子，并不必然说明其具有递归、无二义性或二义性的特性，所以正确选项为 A: 递归。
7. 对于一个给定的文法来说，它描述的是唯一的语言集合。这对应选项A。
8. Chomsky 的3型语言（Type-3）可由线性界限自动机（Linear Bounded Automata, LBA）识别，这是对选项D的回答。
9. 1 型文法也被称为上下文无关文法(Context-Free Grammar, CFG)，这对应于选项 A。
10. 算符优先分析是一种自底向上的解析方法，它以句柄作为归约对象。此题答案为 C。
11. LL(k) 是一种自顶向下语法分析的方法，并非自底向上，因此正确选择是 B。
12. 赋值语句 x=a+b*((a+c)*d+e) 的逆波兰形式表示为 x ab ac de + ** +=，这对应选项B。
13. “非终结符→符号串”构成的文法属于上下文无关文法（Context-Free Grammar），即1型文法。因此正确选择是 B。
14. 如果一个文法具有递归特性，则它能够生成无限数量的句子，这是对 A 选项的回答。
15. 文法定义为A→Aa|b时可以推导出符号串 baa，这对应于 C 项的选择。
16. 在 LR(K) 分析中，在每一步过程中归约的对象都是句柄。此题正确答案是C。
17. 给定文法规则 G[E]: E→E+E | E*E | a 是一个非二义性文法，这对应选项 D 的回答。
18. 正规式 (a*│b) * (c│d) 与表达式 (a│b)* c │(a│b)* d 等价。因此正确选择是D。
19. 文法 G 描述的语言是由识别符号推出的所有终结符串的集合，这对应选项 C 的回答。
20. 对于文法规则 A→bA|cc 来说可以推导出 cc 和 bccbcc 这样的字符串，此题正确选择是B。
上述知识点涵盖了编译原理的基础概念，包括逆波兰表达式、Chomsky 分级系统、文法类型、解析方法、句柄定义以及递归和二义性等特性。掌握这些内容有助于深入理解编译器的工作机制及高级语言如何转换为机器代码的过程。
5星
