语法为^ n

Question

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

以下语法

S -> aS | Sa

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

我不知道我们是否可以这么说，因为这个语法不会停止。它只是创造了一堆，但它什么都不接受。如果我们有一个ε推导规则肯定会。

与以下内容完全相同：

永远不会达到最终状态。