Õppevahendis on esitatud formaalsete grammatikate ja abstraktsete automaatide teooria põhimõisted ja vaadeldud mõningaid rakendusi. Kuna programmeerimiskeelte õigekirjareeglid, süntaks, esitatakse tavaliselt formaalsete grammatikate abil, programmide tõlkimine ühest keelest teise, transleerimine - automaatidega, on õppevahend mõeldud sissejuhatusena translaatorite konstrueerimise kursusele, kuid on püütud käsitleda ka muid diskreetset informatsiooni töötlevate seadmetega seotud küsimusi.