文法：文法是对语言结构定义与描述，即从形式上描述和规定语言结构，也称为语法。
字母表：元素的非空有穷集合，字母表的元素称为符号，所以字符表也称为符号集。
符号串：定义在某一字母表上
由该字母表中的符号组成的有限符号序列
同义词：句子，字
文法和语言的形式定义：
规则也称重写规则，产生式或生成式
文法类型：0型文法，上下文有关的，上下文无关的
语法树：语法分析树或分析树
语言：在某一确定字母表上的特定符号串的集合。
原文：https://www.cnblogs.com/fzybk/p/11577453.html