Text

Kursplan - Formella språk, automater och beräkningsteori

Omfattning

7.5 hp

Kurskod

DVA325

Giltig från

Hösttermin 2013

Utbildningsnivå

Grundnivå

Successiv fördjupning

G2F (Grundnivå, har minst 60 hp kurs/er på grundnivå som förkunskapskrav).

Huvudområde(n)

Datavetenskap

Akademi

Akademin för innovation, design och teknik

Fastställd

2013-01-25

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.

    • Beslutsdatum: 2013-10-17
    • Senaste uppdatering: 2013-10-17

    Böcker

    Linz, Peter

    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

    http://books.google.se/books?id=hsxDiWvVdBcC&printsec=frontcover&hl=sv&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false

    Alternativ bok:
    Salling, Lennart, "En introduktion till formella språk, automater och beräkningar". Obs: Endast en av de två nämnda böckerna behövs.

    Obligatorisk

    Salling, Lennart

    En introduktion till formella språk, automater och beräkningar

    [Ny utg.] : [Uppsala : Lennart Salling], cop. 1998 - 264 s.

    ISBN: 91-630-7707-8 LIBRIS-ID: 7453571

    Alternativ bok:
    Peter Linz "An Introduction to Formal Languages and Automata". Obs. Endast en av de två nämnda böckerna behövs.

    Obligatorisk

Syfte

Kursen skall ge inblick i de teoretiska grunderna för artificiella språk, automata och beräkningsteori - frågeställningar som ingår i olika former i all datavetenskap.

Lärandemål

Efter avslutad kurs skall studenten 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 universella 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 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

Programmeringskunskaper i ett högnivåspråk och kunskaper i diskret matematik. Detta kan uppnås genom att ha avslutat kurserna Programmeringsteknik med C# 7,5 hp och Diskret matematik 7,5 hp eller motsvarande.

Examination

Tentamen (TEN2). Skriftlig sluttentamen kan ersättas med kontinuerlig skriftlig examination, 7,5 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 helt med CD5560 samt CDT314 Formella, språk, automater och beräkningsteori.