Gramatiky a jazyky
Jedným z kľúčových pojmov vo výpočtovej technike je pojem programovací jazyk. Formalizmus definovania a špecifikácie programovacích jazykov vychádza z teórie, ktorú inicializoval v roku 1956 Noam Chomsky vytvorením matematického modelu gramatiky.
Vysokoškolaská učebnica je venovaná špecifikačným prostriedkom jazykov, gramatikám a automatom. Po zavedení Chomského hierarchie jazykov sa zameriava na regulárne a bezkontextové jazyky, ktoré majú najširšie použitie v oblasti výpočtovej techniky.Veľká pozornosť sa venuje deterministickým jazykom, najmä jazykom LL(k) a LR(k), ich syntaktickej analýze a automatickej konštrukcii syntaktických analyzátorov.