从零写一个编译器（四）：语法分析之构造有限状态自动机