Filosof je člověk, který vám odpoví tak, že ani neporozumíte, na co jste se ho ptali.

filozof na první pohled.

"Záhady, které nás lákají, nemusí být skryté v jiných galaxiích, někdy je máme na dosah ruky."

To má pravdu. Jenže ty, které máme na dosah ruky, zpravidla akademická obec nechce vidět.

Tedy, úplně jsme nepochopil co vlastně zkoumá, je to něco ve smyslu vztahů mezi: regulární jazyky -> bezkontextové jazyky -> kontextové (nerekurzivní jazyky) -> rekurzivní jazyky ?

Skoro bych řekl, že formálními jazyky nikoli.