Sehr geehrter Herr Donner Balken,
jak powszechnie wiadomo jesteś Pan już po lekturze L. Wittgensteina i oblatany
jesteś Pan w
delikatnej materii języka konwersacji jak rządowy polski
Tupolew.
Frapuje mnie jednak inny problem, czy przypadkiem Mr Noam Chomsky, Pański
serdeczny przyjaciel z MIT, nie zbudował swojej teorii języków formalnych
na bazie badań języka naszego wspólnego znajomego z HH oraz tytanów intelektu
Obywateli: Gadupy i Lunatyka.
Przyglądając się ich mowie mam poważne kłopoty w dziedzinie klasyfikacji.
Do której z grup zaliczyć ich języki:
· języki typu 0 – rekurencyjnie przeliczalne (maszyna Turinga),
· języki typu 1 – kontekstowe (automat liniowo ograniczony),
· języki typu 2 – bezkontekstowe (automat ze stosem),
· języki typu 3 – regularne (deterministyczny automat skończony).
Ponieważ problem jest ważki, proszę Sie, Herr Donner Balken o wyważoną opinię.

kacperek
P.S.
Miło byłoby poznać także opinię w tej materii wymienionych w poście Obywateli.
Zresztą glosa każdego forumowicza i każdej forumowiczki będzie mile widziana.