正则文法：有限状态机
上下文无关文法：有限状态机+栈
上下文有关文法：有限状态机+树 ？
短语文法：有限状态机+图 ？

前两行已经实现了，参考《编译原理》，后两行是猜想。