能够进行不带回溯的自顶向下语法分析的文法称为LL（1）文法。

源程序指以某种程序设计语言编写并供加工处理的程序。

判断题源程序指以某种程序设计语言编写并供加工处理的程序。

文法G产生的语言是无穷的，当且仅当文法是递归的。

判断题文法G产生的语言是无穷的，当且仅当文法是递归的。

翻译程序是指将用某种语言编写的程序翻译成另一种语言形式的程序的系统软件。

判断题翻译程序是指将用某种语言编写的程序翻译成另一种语言形式的程序的系统软件。