TDDD14 · 6 hp · Grundnivå (G2F) · Datateknik, Datavetenskap
Formella språk och automatateori
Ges · nästa start HT 2027
60 %
klarade senaste ordinarie tentan
TEN1 · 3 jun 2026 · 10 studenter
66 %
klarade ordinarie tentorna, alla tillfällen de senaste 5 åren
TEN1 · 38 studenter
Ingår i 5 program
Tentamen
TEN1 Skriftlig tentamen
- 5
- 4
- 3
- U
Ordinarie tentor
66 % godkända · 38 studenter
- 60 %10
- 78 %18
- 50 %10
Omtentor
Inga tillfällen med minst 5 studenter.
- Får 4 eller 5: 32 % (38 studenter)
Visa små tillfällen (9)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %1
- 50 %2
- 75 %4
- 0 %3
- 100 %1
- 100 %4
- 25 %4
- 25 %4
- 50 %2
Övriga moment
Deltentor, inlämningar och laborationer. De ingår inte i siffrorna överst.
Inlämning eller laboration
UPG1 Inlämningsuppgifter
- G
Ordinarie tillfällen
100 % godkända · 37 studenter
- 100 %10
- 100 %17
- 100 %10
Senare tillfällen
Inga tillfällen med minst 5 studenter.
Visa små tillfällen (5)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %1
- 100 %4
- 100 %4
- 100 %1
- 100 %1
Om kursen
Mål
Kursen skall ge en introduktion till formella språk och automatateori. Automater och formella språk uppträder (eventuellt i olika förklädnader) inästan varje gren av datalogin. Efter att ha fullgjort kursen skall studenten kunna:
- Hantera olika typer av språkklasser och deras beräkningsmodeller.
- Tillämpa grundläggande parsningstekniker.
- Använda metoder för att visa icke-medlemskap i formella språk.
Innehåll
Ändliga automater och reguljära uttryck. Kontextfria grammatiker och pushdown-automater. Deterministiska kontextfria språk, LR parsning, Chomskys språkhierarki. Orientering om Turingmaskiner och oavgörbarhetsproblem.
- Examinator
- Victor Lagerkvist
- Schemalagd tid
- 50 h
- Huvudområde
- Datateknik, Datavetenskap