​ 本页介绍了干净语言和符号建模中使用的术语的定义。