单项选择题 形式语言中，不包含（）。

判断题 自上而下分析的文法是为输入串寻找最左推导。

判断题 提左因子也是一种文法变换，它用于产生适合于自上而下分析的文法。