有限和无限的语言混乱

Question

我最近开始研究形式语言理论，并且在有限和无限语言方面遇到了一些问题。

我被告知所有有限的语言都是常规的。

然而，阅读给我的笔记，一个带有制作的语法：

S --> ab

S --> aabb

S --> aaabbb

虽然制作会产生有限数量的字符串，但它不是常规语言。

然而，一个语法与制作：

S --> Sb

S --> Tb

T --> Ta

T --> a

哪个生成字符串形式为a ^ m b ^ n，这是一个无限的字符串列表，但这种语言被定义为常规？

有人能用简单的方法帮助我理解吗？在我挣扎的时候会非常感激。

Answer 1

关于理论的问题可能会在https://cs.stackexchange.com/得到更快的答案，但是仍然有人可以在这里回答。

您忘记了这种关系不对称。所有有限语言都是常规语言，但并非所有常规语言都是有限的。同样，所有常规语言都是无上下文的，但并非所有上下文无关语言都是常规语言。这种关系很好地说明了Cleaveland，J.C。＆amp; Uzgalis，R.C。 （1977）语法程序语法，Elsevier North Holland，pp.20：