Úvod do formálnych jazykov

Vysvetlíme si základné pojmy (abeceda, symbol, reťazec, jazyk...), klasifikáciu gramatík a využitie formálnych jazykov a gramatík v praxi.

História

V 30-tych rokov 20. storočia britský matematik a logik Alan Turing skúmal abstraktné výpočtové zariadenie, ktoré malo všetky schopnosti dnešných počítačov. Takéto zariadenie sa nazýva Turingov stroj.

Model Turingovho stroja, skonštruovaný Mike Daveyom, vystavený na Harvardovej univerzite v roku 2012.

Gramatika vo formálnych jazykoch »