Print Course syllabus
Course syllabus - Formal Languages, Automata and Theory of Computation: Advanced Course
Scope
6 credits
Course code
DVA420
Valid from
Autumn semester 2013
Education level
Second cycle
Progressive Specialisation
A1N (Second cycle, has only first-cycle course/s as entry requirements).
Main area(s)
Computer Science
School
School of Innovation, Design and Engineering
Ratified
2013-02-14
Status
This syllabus is not current and will not be given any more
Literature lists
Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.
-
Books
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
Objectives
This course gives an introduction to formal languages, automata theory and theory of computation.
Learning outcomes
This course will give the student fundamental theoretical and practical knowledge about:
- regular languages and finite automata
- context-free languages and pushdown-automata
- recursively enumerable languages and Turing machines
- the Universal Turing machine
- decidability - Stop problem
- computating paradigms
Course content
Regular languages and finite automata.
Context-free languages and pushdown-automata.
Recursively enumerable languages and Turing machines.
The Universal Turing machine.
Decidability - Stop problem.
Computating paradigms.
Tuition
Lectures, guest lectures, laborations.
Specific requirements
At least 180 ECTS credits where at least 60 ECTS credits are in the area of computer science.
Examination
Examination ((TEN1), 6 credits, marks 3, 4 or 5
A student who has a certificate from MDU regarding a disability has the opportunity to submit a request for supportive measures during written examinations or other forms of examination, in accordance with the Rules and Regulations for Examinations at First-cycle and Second-cycle Level at Mälardalen University (2020/1655). It is the examiner who takes decisions on any supportive measures, based on what kind of certificate is issued, and in that case which measures are to be applied.
Suspicions of attempting to deceive in examinations (cheating) are reported to the Vice-Chancellor, in accordance with the Higher Education Ordinance, and are examined by the University’s Disciplinary Board. If the Disciplinary Board considers the student to be guilty of a disciplinary offence, the Board will take a decision on disciplinary action, which will be a warning or suspension.
Grade
Pass with distinction, Pass with credit, Pass, Fail
Interim Regulations and Other Regulations
The course overlaps 3 credits with the course Formal Languages, Automata and Theory of Computation 7.5 credits. The difference is that this course assumes students' experiences in programming, and the course provides more detailed and more complex examples.