Regex 有限语言与无限语言的混淆

我最近开始学习形式语言理论，在有限语言和无限语言方面遇到了一些问题

我听说所有有限语言都是正则的

然而，通过阅读给我的笔记，一个语法与产品：

S --> ab

S --> aabb

S --> aaabbb

S --> Sb

S --> Tb

T --> Ta

T --> a

虽然生成的字符串数量有限，但不是常规语言

但是，与产品相关的语法：

S --> ab

S --> aabb

S --> aaabbb

S --> Sb

S --> Tb

T --> Ta

T --> a

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

---

谁能帮我简单地理解一下？当我在苦苦挣扎时，我真的很感激。

关于理论的问题可能会得到更快的答案，但是仍然有人可以在这里回答

你忘记了这种关系是不对称的。所有有限语言都是正则的，但并非所有正则语言都是有限的。同样，所有常规语言都是上下文无关的，但并非所有上下文无关语言都是常规语言。《编程语言语法》，Elsevier North Holland，第20页：