Как «языки шаблонов» связаны с «обычными языками»?

Question

Я всегда думал, что ниже type-3 грамматик нет реального языкового класса, но теперь я нашел модель " Идентификация языка в пределе ", которая позволяет изучать шаблоны языков , но не обычные языки .

Что такое языки шаблонов и чем они отличаются от обычных языков?

Answer 1

Отказ от ответственности: я не знаком с языковой идентификацией в пределе.

Но я могу сказать следующее: языки шаблонов не «выше» обычных языков в иерархии Хомского - фактически они не являются официальными языкамисовсем.Скорее, это структурированные, но неформальные описания на естественном языке, которые вообще не вписываются в иерархию Хомского.

(Языки шаблонов - это обобщения текстов описания, используемых для Шаблонов проектирования Группой Четырех)