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.
3. vuosi tai myöhemmin.
Sisältynyt aikaisemmin opintojaksoon Laskennan teorian perusteet.