| studiehandbok@lith | |
|
|
|
|
|
| TDDA89 | Formella språk och automatteori, 3,5 poäng /Formal Languages and Automata Theory/ För: C1, D3, D4, IT3, IT4 | |
| 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: TATM90 eller TDDB94 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.
Studierektor: Simin Nadjm-Tehrani| |
|
|
 |
|||||
|
|
||||||
