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

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

判断题 符号表的信息栏中登记了每个名字的有关性质，如类型、种属、大小以及相对数。