Itt van: http://www.typotex.hu/download/formalisnyelvek.pdf
Teljes specifikálás, determinizálás, minimalizálás példával (véges automatákra, mert gondolom reguláris nyelvek miatt az kell)..
Egyébként ez az anyag legegyszerűbb része. De maga a tárgy nem volt szimpatikus a BME-n (a dolgozatok javítása, nem Bach Iván előadása).