Print Course syllabus
Course syllabus - Formal Languages, Automata and Theory of Computation
Scope
7.5 credits
Course code
DVA325
Valid from
Autumn semester 2013
Education level
First cycle
Progressive Specialisation
G2F (First cycle, has at least 60 credits in first-cycle course/s as entry requirements).
Main area(s)
Computer Science
School
School of Innovation, Design and Engineering
Ratified
2013-01-25
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
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
Objectives
The course provides an insight into theoretical foundations of artificial languages, automata and theory of computation - topics that appear in various disguises in every branch of computer science.
Learning outcomes
This course will give a 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
- computing 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
Specific requirements
Theoretical knowledge and practical competence in a high level programming language (for instance C, C#, C++ or Java) and fundamentals of Discrete Mathematics or equivalent. In addition a TOEFL test result (PBT) at least 530, TWE score 4, (iBT) at least 72, TWE score 17 or IELTS test score for academic purposes with an overall band score of minimum 5.5 and no band score below 5.0. The English test is COMPULSORY for all applicants except citizens of Australia, Canada, Ireland, New Zealand, United Kingdom and USA. The TOEFL code you must use is SWEDEN 9520.
Examination
Examination (TEN2). Written final exam can be replaced by continuous examination (midterms), 7.5 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 completely overlaps with CD5560 and CDT314 Formal Languages, Automata and Theory of Computation.