记录中出现的专业术语：

• grammar 文法，一种形式化（formal）的语言描述。
• syntax 语法
• phrase 短语
• lexer 词法分析器
• parser 语法分析器
• parse tree 语法分析树，表示语法如何匹配输入的数据结构。
• tree walker 树遍历器
• top-down 自顶向下
• backtracking 回溯
• semantic predicates 语义谓词