一个文法能用有穷多个规则描述无穷的符号串集合（语言）是因为文法中存在有（）定义的规则。