| TDDB40 | Omskrivningssytem, 3 poäng /Introduction to Rewriting Systems/ För: C3, C4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Klassning för datavetenskaplig examen: Datavetenskap | ||
| Mål: Alla former av beräkning kan ses som omskrivningssystem. Målet med kursen är att ge ett enhetligt perspektiv på olika omskrivningssystem och därigenom erbjuda en gemensam plattform för att studera och klassificera olika beräkningsparadigmer.Förkunskaper: TDDA 89 Formella språk och automatateori TDDA 41 LogikprogrammeringOrganisation: FöreläsningarKursinnehåll: - Abstrakta omskrivningssystem - Fuktionell beräkning som omskrivning. Termoomskrivning. Lambdakalkyl och kombinatorisk logik. Abstrakta datatyper. - Att beräkna relationer genom omskrivning. Det visas att begrepp som kontextfri omskrivning kan generaliseras till logikprogram attributgrammatikor och tvånivågrammatikor. Detta ger ett enhetligt perspektiv på grammatikor (typ 0, typ 1, och typ 2 språk). - Programspråkssemantik som omskrivningssystem. - Integration av funktionella och relationella språk. Ekvationsunifiering och "narrowing".Kurslitteratur: Kompendium | ||
| UPG1 | Obligatoriska inlämningsuppgifter och aktiv medverkan, 3 p. | |
Undervisningsspåk är .
Engelsk kursplan