
Mathematical tower of Babel (MdCŚ)


Completely about infinity

Axioms, axioms, axioms

Decidable and Turing languages

Bounded Turing machines — about context sensitive languages

Grammars — about context-free languages

Automata — about regular languages

Prologue to the book of languages
