Gramatiky a jazyky

Využívanie výpočtovej techniky je podmienené kvalitným programovým vybavením, v ktorom je kľúčový pojem programovací jazyk. Formalizmus definovania a špecifikácie programovacích jazykov vychádza z teórie vytvorenia matematického modelu gramatiky. Hoci teória formálnych jazykov patrí k súčasnosti k najprepracovanejším oblastiam výpočtovej techniky, nie je ešte literatúrou dostatočne pokrytá. 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, a to najmä pri návrhu a špecifikácii programovacích jazykov a prekladačov.