A bottom-up parser uses an explicit stack to perform a parse – The parsing stack contains tokens, nonterminals as well as some extra state information – The stack is empty at the beginning of a bottom-up parse, and will contain the start symbol at the end of a successful parse

The idea of Recursive-Descent Parsing Viewing the grammar rule for a non-terminal A as a definition for a procedure to recognize an A The right-hand side of the grammar for A specifies the structure of the code for this procedure The Expression Grammar:

Special Notations for Repetitive Constructs Repetition – A → A  |  (left recursive), and – A →  A |  (right recursive) where  and  are arbitrary strings of terminals and non-terminals, and – In the first rule  does not begin with A and

高级程序员级软件基础知识试题覆盖面宽，有一定的理论深度，需要考生全面系统地掌 握大纲所规定的内容。数据结构、操作系统、程序语言、软件工程是考核的重点。二叉树、 图、存储管理、编译原理、软件设计方法等知识点考查的次数比较多，应当是重点中的重点

Symbol table: major inherited attribute and major data structure in a compiler Principal operations: – Insert: store the information provided by name declarations when processing these declarations – Lookup: retrieve the information associated to a name when that name is used in the associated code

语言处理工作起源于计算机软件设计者描述的在数据 集合上的算法与运行该数据集合上的算法的计算机系统的差 异。而早期的所用机器语言编制的程序不存在这种差异，因 而不需要语言处理程序。随着汇编语言的产生这种差异也随 之产生，程序设计者用符号指令代替目标机器指令来说明其 算法，这样程序设计者的符号描述和目标机器的运行产生了 差异，解决这种差异的就是第一种语言处理程序——汇编程

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

一个程序设计语言是一个记号系统，如自然语言一样， 它的完整的定义应包括语法和语义两方面。所谓一个语言的语 法是指一组规则，用它可以形成和产生一个合适的程序，目前 在程序设计语言的识别中广泛使用的是上下文无关的文法。在 这理主要介绍文法和语言的概念

Main idea LL(1) Parsing uses an explicit stack rather than recursive calls to perform a parse An example: – a simple grammar for the strings of balanced parentheses: S→(S) S∣ε The following table shows the actions of a top￾down parser given this grammar and the string ( )