| studiehandbok@lith | |
|
|
|
|
|
| TDDB40 | Omskrivningssystem, 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, datalogi. | ||
| 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: TDDA89 Formella språk och automatateori TDDA41 LogikprogrammeringOrganisation: Föreläsningar och seminarier Kursinnehåll: - Abstrakta omskrivningssystem - Fuktionell beräkning som omskrivning. Termomskrivning. Lambdakalkyl och kombinatorisk logik. Abstrakta datatyper. - Att beräkna relationer genom omskrivning. Det visas att begrepp som kontextfri omskrivning kan generaliseras till logikprogram och attributgrammatikor. Programspråkssemantik som omskrivningssystem. - Integration av funktionella och relationella språk. Ekvationsunifiering och "narrowing". Kurslitteratur: Kompendium J. Boye, J. Maluszynski and U. Nilsson "Rewriting Systems" | ||
| UPG1 | Obligatoriska inlämningsuppgifter och aktiv medverkan i seminarierna, 3 p. | |
Undervisningsspråk är engelska.
Studierektor: Simin Nadjm-Tehrani| |
|
|
 |
|||||
|
|
||||||
