编译原理手记05-文法和语法分析中一些概念的解释

文法是比语法更高层的一个概念，文法并不是仅仅适用于描述编程语言，它同样可以用来描述自然语言或其他一些语言形式。

文法分为0型、1型、2型、3型，编程语言属于其中的2型文法，2型文法也叫做"上下文无关的文法"。

关于语法分析，有一些名词的意思一定要弄懂他们。

终结符：就是之前提到过的编程语言中的五类元素(即关键字、标识符、常量、操作符、界符)中的某个串(token)。

非终结符：是一组串的集合，和终结符区别开来，终结符是一个串(这个串的概念类似token)，而非终结符是一组串的集合。

开始符：开始进行语法推导的起点，是一个非终结符。