说到编程语言时，常常会提及语法（Syntax）和语义（Semantic）等概念。语法描述程序的合法表达式，而在定制语法的DSL里所能描述的对象都由文法（Grammar）决定。DSL包含了众多的语义模型，本节介绍几个常见且有代表性的语义模型。