Yacc: 用于解析计算机程序输入的工具

"Yacc 中文手册-Loon.x" Yacc（Yet Another Compiler-Compiler）是由Stephen C. Johnson开发的一个解析器生成器，主要用于构建计算机程序的输入解析器。这个工具允许用户通过指定输入的结构和与之关联的处理代码，生成一个C语言的子程序，这个子程序负责处理输入数据，即所谓的解析器或解析函数。Yacc生成的解析器会调用用户提供的词法分析程序（通常称为lex或flex生成的程序），以获取输入流中的基本元素，即“token”。 Yacc的设计目标是处理具有结构化的输入语言，这些语言可以是复杂的编程语言，也可以是简单的数据序列。它采用LALR(1)语法，这是一种广泛接受的上下文无关文法，能够有效地消除语法上的二义性。这意味着Yacc能够处理大多数具有明确规则的语言结构。 Yacc的使用流程如下： 1. 用户编写一个Yacc规格文件，文件中包含输入语言的规则（rules）以及当这些规则被识别时要执行的C代码（actions）。 2. 规格文件中还定义了一个低级别的输入处理例程，通常称为词法分析器，用于从输入中识别并返回基本的token。 3. Yacc将这个规格文件转换为C代码，生成一个解析函数（parser）。 4. 解析函数在运行时调用词法分析器获取token，并根据规则组织这些token，识别出符合规则的模式。 5. 当解析器识别出一个规则，就会执行该规则对应的用户代码动作（action），这些动作可以用于计算、存储结果或者调用其他函数。 Yacc不仅用于传统的编程语言如C、APL、Pascal和RATFOR的编译器，还可以应用于各种非标准的语言环境，如照相排字机语言、桌面计算语言、文档检索系统和Fortran调试系统等。 在实际使用中，用户还需要处理输入的特殊特性，如注释和字符串连接等。这些可以通过词法分析程序进行处理，使得Yacc的规格说明更简洁易懂。Yacc生成的解析器与用户提供的词法分析程序紧密协作，共同完成对输入数据的解析和处理，从而为用户程序提供强大的输入控制能力。 由于Yacc是用可移植的C语言实现的，因此生成的解析器可以在多种操作系统和硬件平台上运行。Yacc的语法和输出例程都是基于C语言，使得用户能够充分利用C的特性和库来构建复杂的解析逻辑。 总结来说，Yacc是一个强大的工具，它简化了结构化输入语言处理的实现，通过提供一种声明式的方法来描述语言结构，并自动生成相应的解析代码。这使得程序员能够专注于语言的语义和处理逻辑，而不是底层的解析细节。