Abstrakta maskiner och formella språk
Kursen går igenom grundläggande begrepp och metoder rörande automatteori, rekursionsteori och matematisk lingvistik.
Du studerar egenskaper och beräkningsförmåga för olika modeller. Föreläsningarna behandlar bland annat olika typer av ändliga automater, formella grammatiker och egenskaper hos formella språk.
Undervisning
Undervisningen består av föreläsningar och handledning.
Examination
Kursen examineras genom salstentamen och inlämningsuppgifter.
Examinator
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske.
Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen.
Observera att kurslitteraturen kan ändras fram till två månader före kursstart.
Kursrapporter visas för de tre senaste kurstillfällena.
