1 【计】 抽象语法 — abstract syntax