Perehtyä muodollisten kielten teorian perusteisiin.
Säännölliset lausekkeet ja säännölliset kielet, automaatit, muodolliset kieliopit.
Kirjalliset harjoitukset tai loppukoe.
1. vuosi.
Merikoski, J., Virtanen, A., Koivisto, P., Johdatus diskreettiin matematiikkaan. WSOY 2004. Luku 8.