程序设计语言是一种形式语言,与自然语言既有相似的性质又有本质的不同。 最主要的区别是:形式语言的规则简单、严格、无例外、无二义性。 编译程序的正确转换建立在对程序设计语言的精确定义和描述基础上。 语法——文法是描述语言语法的形式规则 语义——语言中各语句的含义 语用——从使用者的角度对语言的描述 本章将介绍形式语言和形式文法的基本概念,这是整个编译原理的基础。