Opintojakson suoritettuaan opiskelija- tuntee automaattien ja formaalien kielten peruskäsitteet.
Äärellinen automaatti. Formaalien kielten peruskäsitteitä. Chomskyn kielihierarkia. Kontekstittomista kieliopeista. Pinoautomaatti. Turingin kone.
Aktiivinen osallistuminen viikkoharjoituksiin ja Kirjallinen kuulustelu.