| 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, datalogi. | ||
| 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.Påbyggnadskurser: TDDB44 KompilatorkonstruktionOrganisation: Föreläsningarna tar upp teoretiska avsnitt och på lektionerna övas dessa med problem.Kursinnehåll: Ändliga automater och reguljära uttryck. Kontextfria grammatiker och pushdown-automater. Deterministiska kontextfria grammatiker, LR parsning, Chomskys språkhierarki. Orientering om Turingmaskiner och oavgörbarhetsproblem.Kurslitteratur: Meddelas senare | ||
| TEN1 | En skriftlig tentamen , 3,5 p. | |
| UPG1 | Obligatoriska inlämningsuppgifter, 0 p. | |
Undervisningsspråk är engelska.