新编译原理之集合论

用集合论处理句子，一个句型是相关的一系列句子的集合，用集合中的典型句子给集合命名，用大括号表示集合。
{有6个玩具猫}→有{自然数}个{类型名}
上述内容有3个集合，可以对应到经典编译原理的3个非终结符。
{自然数}集合需要编写一个小型的DFA。
{类型名}集合可以记住常用的类型名。
集合有一个“判定函数”，用于判定某句子是否属于该集合。判定函数可以是一个DFA，也可以是一个哈希表。
{有6个玩具猫}集合的判定函数，是由前两个集合的判定函数组合而来的。因为它的定义正是由前两个集合组合而来的。