一、什么是编译程序 　　一个编译程序就是一个语言翻译程序。语言翻译程序把一种语言（称作源语言）书写的程序翻译成另一种语言（称作目标程序）的等价程序。 　　 　　高级语言程序 ------& ...

一、文法直观概念 　　我们常常把程序设计语言定义为两类：静态语义和动态语义。静态语义是一系列限定规则，并确定哪些合乎语法的程序是合适的；动态语义也称作运行语义或执行语义，表明程序要做什么，要计算什么 ...

一、规则和产生式定义 　　规则，也称为重写规则、产生式或生成式，是形如α->β或α::=β的（α，β）有序对。其中α称为规则的左部，β称为规则的右部，中间符号读作“定义为”。例如 A-> ...