Opintojaksolla esitellään perustiedot automaateista ja formaaleista kielistä sekä niiden keskeisistä sovelluksista tietojenkäsittelyopissa.
Äärellinen automaatti. Muita automaattityyppejä. Formaalien kielten peruskäsitteitä. Chomskyn kielihierarkia. Kontekstittomista kieliopeista. Sovelluksia.
Kirjallinen kuulustelu ja aktiivinen osallistuminen viikkoharjoituksiin.
Syventävien opintojen vaiheessa, 3. vuosi.
Sisältynyt aikaisemmin opintojaksoon Laskennan teorian perusteet.