抽象语法把程序视为语法树，即节点标签表示程序构造的树 （树的术语见 树的基本术语 ），隐去字符排列和括号等表面细节． 从字符串到树的那一步叫解析． 采用这条约定时，假定解析已经完成，且已消除了 结构歧义 那样的歧义； 解析器本身留在这条约定的研究范围之外． 书写时为了能在一行里写下一棵树，会用括号表示分组： $\text{pred }\left(\text{succ }0\right)$ 表示根标着 $\text{pred}$，它的唯一孩子标着 $\text{succ}$； 这个孩子及其后代构成表示 $\text{succ }0$ 的子树．