Skriv ut kursplan
Kursplan - Formella språk, automater och beräkningsteori: Avancerad kurs
Omfattning
6 hp
Kurskod
DVA420
Giltig från
Hösttermin 2013
Utbildningsnivå
Avancerad nivå
Successiv fördjupning
A1N (Avancerad nivå, har endast kurs/er på grundnivå som förkunskapskrav).
Huvudområde(n)
Datavetenskap
Akademi
Akademin för innovation, design och teknik
Fastställd
2013-02-14
Status
Denna kursplan är inte aktuell och ges inte längre
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Böcker
An introduction to formal languages and automata
5th ed. : Sudbury, MA : Jones & Bartlett Learning, c2012 - xiii, 437 p.
ISBN: 978-1-4496-3739-2 (hft.) LIBRIS-ID: 12418450
Syfte
Kursen ger de teoretiska grunderna för formella språk, automater och beräkningsteori.
Lärandemål
Studenten kommer att ha grundläggande teoretiska och praktiska kunskaper om:
- 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
Innehåll
Reguljära språk och finita automater.
Sammanhangsfria språk och pushdown-automater.
Restriktionsfria språk och Turingsmaskiner.
Den Universella Turingsmaskinen.
Oavgörbarhet - Stopp-problemet.
Beräkningsteoretiska paradigmer.
Undervisning
Föreläsningar, gästföreläsningar, laborationer.
Särskild behörighet
Minst 180 hp där åtminstone 60 hp tillhör till datavetenskap.
Examination
Tentamen (TEN1), 6 högskolepoäng, betyg 3, 4 eller 5
En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.
Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning.
Betyg
Med beröm godkänd, icke utan beröm godkänd, godkänd, underkänd
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar 3 hp med kursen Formella språk, automater och beräkningsteori 7,5 hp. Skillnaden är att den här kursen utgår från att studenterna redan har programmeringserfarenhet och kursen använder mer detaljrika och komplexa exempel.