17.4 章节回顾

本章最后要形成一张“概念边界图”。只会背名词还不够，考试会用相似概念互相干扰：编译与解释、词法与语法、语法与语义、传值与引用、正规式与自动机，都要能划清。

总复习图

mindmap
  root((程序设计语言与语言处理))
    语言基础
      机器语言
      汇编语言
      高级语言
      编译与解释
    语言成分
      数据类型
      顺序选择循环
      函数调用
    编译过程
      词法分析
      语法分析
      语义分析
      中间代码
      优化与目标代码
    形式语言
      文法
      正规式
      有限自动机
    表达式
      表达式树
      后缀表达式
      栈求值

考前清单

问题	必须能答出
编译与解释的核心区别是什么	是否生成目标程序，运行时处理程序是否参与
常见语言关键词怎么对应	C-系统效率，Lisp-符号处理，Prolog-逻辑推理，Java-跨平台
三种基本控制结构是什么	顺序、选择、循环
传值与引用调用怎么判断	形参修改是否影响实参
词法、语法、语义怎么分	单词、结构、含义
中间代码有哪些	语法树、后缀表达式、三地址码/四元式
文法四元组是什么	$G=(V_N,V_T,P,S)$
$A^{\ast }$ 与 $A^{+}$ 差别	前者可为零次，包含空串；后者至少一次
自动机怎样接受字符串	读完整串后停在终态
后缀表达式怎么得	表达式树后序遍历

易错点再压缩

词法错误是“单词错”，语法错误是“句子结构错”，语义错误是“结构对但意思错”。例如缺少分号通常是语法错误，类型不匹配通常是语义错误，非法字符通常是词法错误。

传值调用交换不了外部变量，引用/地址调用可能交换外部变量。递归需要栈，每次调用都有自己的活动记录。

正规式和自动机等价要双向验证。一个选项能生成自动机不接受的串，错；自动机能接受而选项无法生成的串，也错。

练习建议

做题时按题型选择工具：编译阶段题画“词法-语法-语义”三层表；函数调用题画实参和形参是否同一存储；自动机题逐字符走状态；后缀表达式题先画树再后序遍历。这样比单纯背答案稳定得多。