Högskola och universitet hos Karlstads universitet, 7,5 högskolepoäng.
Kursen ger en introduktion till formella språk och automatateori. Kursen behandlar begreppen ändliga automater, stackautomater och Turingmaskiner, determinism och icke-determinism, grammatiker samt beräkningsbarhet.