Kursen går igenom ändliga automater, stack-automater och Turingmaskiner, och de viktiga relaterade språkklasserna av de regulära och kontextfria språk. Relationen mellan automater och språk fastställs med hjälp av olika transformationer. Språkklasserna karakteriseras med några klassiska satser som Myhill-Nerodes teorem och Chomsky-Schützenbergers teorem.
FDD3372 Automater och språk 6,0 hp
Information per kursomgång
Kursomgångar saknas för aktuella eller kommande terminer.
Kursplan som PDF
Notera: all information från kursplanen visas i tillgängligt format på denna sida.
Kursplan FDD3372 (VT 2019–)Rubriker med innehåll från kursplan FDD3372 (VT 2019–) är markerade med en asterisk ( )
Innehåll och lärandemål
Kursinnehåll
Lärandemål
Det övergripande målet med kursen är att ge doktoranderna ett djupt förståelse för beräkning och effektiv beräkningsbarhet genom abstrakta begreppet av automater och språken som de känner igen. Samtidigt kommer doktoranderna att få bekanta sig med de viktiga begreppen tillstånd, icke-determinism och minimering.
Kurslitteratur och förberedelser
Särskild behörighet
Kurser motsvarande SF1630 Diskret matematik och DD1350 Logik för dataloger.
Kurslitteratur
Du hittar information om kurslitteratur antingen i kursomgångens kurs-PM eller i kursomgångens kursrum i Canvas.
Examination och slutförande
När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.
Betygsskala
P, F
Examination
- EXA1 - Examination, 6,0 hp, betygsskala: P, F
Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.
Examinator får medge annan examinationsform vid omexamination av enstaka studenter.
Övriga krav för slutbetyg
Sex hemtal, två labbar och en skriftlig tenta.
Examinator
Etiskt förhållningssätt
- Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
- Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
- Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.
Ytterligare information
Kursrum i Canvas
Registrerade studenter hittar information för genomförande av kursen i kursrummet i Canvas. En länk till kursrummet finns under fliken Studier i Personliga menyn vid kursstart.
Ges av
Huvudområde
Denna kurs tillhör inget huvudområde.
Utbildningsnivå
Forskarnivå