Kurssilla tutustutaan ohjelmoinnin ja laskennan formaaleihin perusmalleihin. Käsiteltäviä asioita ovat äärelliset automaatit ja formaalit kielet sekä kielioppien jäsentäminen. Huom: Vanhan tutkintojärjestelmän pakollinen kurssi, joka luennoidaan viimeisen kerran!