TDDA89 Formella språk och automatteori, 3,5 poäng
/Formal Languages and Automata Theory/
För: C1, D3, DX3

Utbildningsområde: Teknik    Ämnesgrupp: Datalogi
Fördjupningsnivå: B
Klassning för datavetenskaplig examen: Datavetenskap
Mål:
Kursen skall ge en introduktion till formella språk och automatateori.

Förkunskaper:
TATM 43 Grundläggande diskret matematik, TATM 90 eller TDDB 90 Diskret matematik och logik.

Organisation:
Föreläsningarna tar upp teoretiska avsnitt och på lektionerna övas dessa med problem.

Kursinnehåll:
Ändliga automater och reguljära uttryck. Kontextfria grammatikor och pushdown-automater. Chomskys språkhierarki. Orientering om Turingmaskiner och oavgörbarhetsproblem.

Kurslitteratur:
Meddelas senare

TEN1En skriftlig tentamen. , 3,5 p.
UPG1Obligatoriska inlämningsuppgifter., 0 p.

Undervisningsspåk är svenska.

Engelsk kursplan
Gäller 1999, beslut av utbildningsnämnden november 1998