Mälardalens högskola, Institutionen för Datavetenskap

Formella språk, automater och beräkningsteori, 5 poäng

Formal Languages, Automata and Theory of Computation

Kurskod: CD5560 Nivå: B
Ämne: Datalogi Utbildningsområde: Naturvetenskap
ECTS: 7,5 Kursspråk: Svenska
Fastställandedatum: 2002 Förändringsdatum:  
Giltig fr.o.m.: 20011

Syfte

Kursen skall ge inblick i de teoretiska grunderna för artificiella språk, automata- och beräkningsteori.

Innehåll

Reguljära språk och finita automater. Sammanhangsfria språk och pushdown-automater. Restriktionsfria språk och Turingsmaskiner. Den Universiella Turingsmaskinen. Oavgörbarhet - Stopp-problemet. Beräkningsteoretiska paradigmer.

Undervisning

Undervisningen bedrivs i form av föreläsningar, räkneövningar och laborationer.

Särskild behörighet

Diskret matematik 5p samt Programmering i java, C eller C++ 5p eller motsvarande.

Examination

TEN1, 5 poäng, Tentamen

Betyg

3, 4 eller 5.

Miljöaspekter

Kursen har inga speciella miljöaspekter.

Litteratur

Litteraturförteckning finns på kursens hemsida.