TDDD14 · Linköpings universitet
Formella språk och automatateori
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
HP
6
Språk
Svenska
Nivå
Grundnivå
Fakultet
Tekniska fakulteten
Institution
Institutionen för datavetenskap
Lärandemå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.
Kursinnehå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.
Förutsättningar
- Grundläggande matematik, t.ex. en kurs i diskret matematik. Logik.
Litteratur
Automata and Computability - D. C. Kozen
Kompendium, publiceras på webben. - Kompendium
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis