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