| TDDA89 |
Formella språk och automatateori, 3,5 p
/Formal Languages and Automata Theory/ |
||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):B |
|||
| Datavetenskap Datavetenskap, datalogi. |
|||
|
Mål:
Kursen skall ge en introduktion till formella språk och automatateori. |
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) TDDB94/TATM90 Diskret matematik och logik OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| Påbyggnadskurser TDDB44 Kompilatorkonstruktion |
|||
| Organisation: 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: Fastställs senare |
|||
| Examination: | |||
| TEN1 UPG1 |
En skriftlig tentamen Inlämningsuppgifter |
3,5 p 0 p |
|
Undervisningsspråk är Engelska.
Institution: IDA.
Studierektor:
Examinator:
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UND
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2002 enligt beslut av utbildningsnämnden i november 2001.
 |
||||||
| ||||||