Fitz的博客

①字母表：字母表是元素的非空有穷集合，字母表中的元素称为符号，因此字母表也称为符号集。注意的一点是空符号串，即ε，在数学中经常碰到这种特殊的“0”，关于这种“0”总是有很多特殊的性质，经常性的我们遗忘掉ε这种特殊情况。②句型与句子：设G[S]是一个文法，如果符号串x是从识别符号推导出来的，则称x是文法G[S]的句型，如果x仅由非终结符号组成，则称x为文法G[S]的句子。③推导树：描述上

本文转载自http://blog.youkuaiyun.com/u014374031/article/details/50239667所有大写字母代表非终结符，小写字母代表终结符，省略号代表未知数目（可能为0）的不确定类型的文法符号。First集合：First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集合。First（X）就是求X所有推导出的符号串的第一个