理解编译原理：文法、语言与符号串

《编译原理》PPT课件涵盖了计算机学院李金厚教授深入浅出的教学内容，主要围绕文法和语言展开讲解。第三章首先介绍了文法的直观概念，指出在描述语言时，文法作为一种有限的工具至关重要，因为它能够提供一种确定哪些句子属于特定语言的方法，避免了穷举法的复杂性。形式化的描述方式类似于数学的符号化，使得语言规则更为严谨且易于理解。 接着，课程讨论了符号和符号串的概念。符号被视为语言的基本单元，字母表则是符号的非空有穷集合。符号串是由字母表中符号组成的有限序列，包括符号串的头尾（固有头和固有尾）、长度计算以及符号串的连接和方幂运算。这些基本概念为后续的语法分析奠定了基础。 在文法的类型划分中，课程特别关注上下文无关文法及其语法树，这是编译原理中的重要组成部分。上下文无关文法具有特定的规则，其生成的句子结构不受当前符号的影响，这在构造编程语言的语法规则时非常重要。句型分析则是将输入的符号串通过文法解析成语法树的过程，这一过程在词法分析和语法分析阶段起着关键作用。 李金厚教授强调，对于程序设计语言的编译器设计，文法的描述必须精确无二义，以便程序员清晰地理解语言结构，避免歧义。整个课程内容旨在为学习者提供一个系统化的编译原理框架，帮助他们理解和构建高效的程序语言处理系统。