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