computation-theory - a^n 的语法

Question

目前我正在学习computation theory，我想出了这个 T - F 问题：

以下语法

S -> aS | Sa

产生语言{a^n | n>=1}。

好吧，我不知道我们是否可以这么说，因为这种语法不会停止。它只是创建了一堆，但它不接受任何内容。ε如果我们有一个推导规则，那肯定是。

它与具有以下内容完全相同：

永远不会达到最终状态。