Automatateori
Kursplan, Grundnivå, 1MA009
- Kod
- 1MA009
- Utbildningsnivå
- Grundnivå
- Huvudområde(n) med fördjupning
- Datavetenskap G1F, Matematik G1F
- Betygsskala
- Underkänd (U), godkänd (3), icke utan beröm godkänd (4), med beröm godkänd (5)
- Fastställd av
- Teknisk-naturvetenskapliga fakultetsnämnden, 15 mars 2007
- Ansvarig institution
- Matematiska institutionen
Behörighetskrav
Algebra I
Mål
För godkänt betyg på kursen skall studenten kunna
Innehåll
Kursen behandlar begreppet beräkningsbarhet och matematiska modeller för beräkningar såsom ändliga automater, grammatiker och Turingmaskiner, samt hur dessa modeller är relaterade till varandra. Följande ämnen tas upp:
Automater: ändliga automater, stackautomater och Turingmaskiner. Determinism och icke-determinism. Reguljära uttryck, transformation från reguljära uttryck till ändliga automater och omvänt, minimering av deterministiska ändliga automater.
Formella språk: grammatiker, Chomskys hierarki, speciellt sammanhangsfria och reguljära grammatiker, tillslutningsegenskaper. Samband mellan grammatiker och varianter av automater.
Pumpsatserna för reguljära respektive sammanhangsfria språk. Universalmaskin, stopproblemet och andra oavgörbara problem, Rice's sats.
Undervisning
Föreläsningar, lektioner och eventuellt laborationer.
Examination
Skriftligt prov vid kursens slut eventuellt kombinerat med löpande examination enligt anvisningar som lämnas vid kursens start.
Litteraturlista
- Litteraturlista giltig från och med höstterminen 2022
- Litteraturlista giltig från och med vårterminen 2020
- Litteraturlista giltig från och med vårterminen 2019
- Litteraturlista giltig från och med vårterminen 2013
- Litteraturlista giltig från och med höstterminen 2008
- Litteraturlista giltig från och med höstterminen 2007