Я недавно начал изучать теорию формальных языков и имел некоторые проблемы с конечными и бесконечными языками.Путаница конечных и бесконечных языков
Мне сказали, что все конечные языки являются регулярными.
Однако, прочитав примечания даны мне, грамматику с производством:
S --> ab
S --> aabb
S --> aaabbb
не является регулярным языком, хотя производство генерировать конечное число строк.
Однако грамматика с производством:
S --> Sb
S --> Tb
T --> Ta
T --> a
, которые генерируют строки вида а^т Ь^п, которая представляет собой бесконечный список строк пока этот язык определяется как регулярные?
Может ли кто-нибудь помочь мне разобраться в простых выражениях? Было бы очень признательно, поскольку я борюсь.