摘要： 第二章总结： 一个程序设计语言是一个几号系统，如同自然语言一样，它的完整性定义包括语法和语义两个方面。一个语言的语法是一组规则，用它可以形成和产生一个合适的程序。类型匹配、变量作用域等是无法用上下文无关手段检查的，这些工作属于语义分析工作。程序设计语言的语义常常分为两类：静态语义和动态语义。静态语义 阅读全文