Formal Languages and Automata Theory, 6 credits

Formella språk och automatateori, 6 hp

TDDD14

Main field of study

Computer Science and Engineering Computer Science

Course level

First cycle

Course type

Programme course

Examiner

Johannes Schmidt

Director of studies or equivalent

Ahmed Rezine

Education components

Preliminary scheduled hours: 50 h
Recommended self-study hours: 110 h
ECV = Elective / Compulsory / Voluntary
Course offered for Semester Period Timetable module Language Campus ECV
6CDDD Computer Science and Engineering, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CDDD Computer Science and Engineering, M Sc in Engineering (Computer Systems Architecture) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CDDD Computer Science and Engineering, M Sc in Engineering (Programming and Algorithms) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CMJU Computer Science and Software Engineering, M Sc in Engineering (Programming and Algorithms Specialization) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIEI Industrial Engineering and Management - International, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIII Industrial Engineering and Management, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CIII Industrial Engineering and Management, M Sc in Engineering (Specialization Computer Science and Engineering) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CITE Information Technology, M Sc in Engineering 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CITE Information Technology, M Sc in Engineering (Computer Systems Architecture) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6CITE Information Technology, M Sc in Engineering (Programming and Algorithms) 8 (Spring 2017) 2 2 Swedish Linköping, Valla E
6MMAT Mathematics, Master's programme 2 (Spring 2017) 2 2 Swedish Linköping, Valla E
6MMAT Mathematics, Master's programme (Computer Science) 2 (Spring 2017) 2 2 Swedish Linköping, Valla E

Main field of study

Computer Science and Engineering, Computer Science

Course level

First cycle

Advancement level

G2X

Course offered for

  • Computer Science and Engineering, M Sc in Engineering
  • Industrial Engineering and Management - International, M Sc in Engineering
  • Industrial Engineering and Management, M Sc in Engineering
  • Mathematics, Master's programme
  • Information Technology, M Sc in Engineering
  • Computer Science and Software Engineering, M Sc in Engineering

Entry requirements

Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshold requirements for progression within the programme, or corresponding.

Prerequisites

Basic mathematics, for instance given by discrete mathematics courses

Intended learning outcomes

This course will give an introduction to formal languages and automata theory. Automata and formal languages appear (possibly in various disguises) in almost every branch of computer science. Having completed the course the student will be able to:

  • Deal with regular and context-free languages;construct, understand and apply their formal descriptions.
  • Describe relations between languages and language classes.
  • Apply basic parsing methods.
  • Explain the difference between decidable and undecidable problems.

Course content

Course content: Finite automata and regular expressions. Context-free grammars and pushdown automata. Deterministic context-free languages, LR parsing. Chomsky's hierarchy. Introduction to Turing Machines and
undecidability.

Teaching and working methods

The theory is presented during the lectures. Problem solving is practiced during the lessons.

Examination

UPG1Assignments1 creditsU, G
TEN1Written examination5 creditsU, 3, 4, 5

Grades

Four-grade scale, LiU, U, 3, 4, 5

Other information

Supplementary courses:
Compiler Construction, Complexity Theory, Rewriting Systems, Programming Theory, Logic, advanced course

Department

Institutionen för datavetenskap

Director of Studies or equivalent

Ahmed Rezine

Examiner

Johannes Schmidt

Course website and other links

http://www.ida.liu.se/~TDDD14

Education components

Preliminary scheduled hours: 50 h
Recommended self-study hours: 110 h

Course literature

Additional literature

Books

  • D. C. Kozen, (1997) Automata and Computability Springer Verlag

Other

  • Compendium, published at the homepage. 

Code Name Scope Grading scale
UPG1 Assignments 1 credits U, G
TEN1 Written examination 5 credits U, 3, 4, 5

Regulations (apply to LiU in its entirety)

The university is a government agency whose operations are regulated by legislation and ordinances, which include the Higher Education Act and the Higher Education Ordinance. In addition to legislation and ordinances, operations are subject to several policy documents. The Linköping University rule book collects currently valid decisions of a regulatory nature taken by the university board, the vice-chancellor and faculty/department boards.

LiU’s rule book for education at first-cycle and second-cycle levels is available at http://styrdokument.liu.se/Regelsamling/Innehall/Utbildning_pa_grund-_och_avancerad_niva. 

Additional literature

Books

D. C. Kozen, (1997) Automata and Computability Springer Verlag

Other

Compendium, published at the homepage. 

Note: The course matrix might contain more information in Swedish.

I = Introduce, U = Teach, A = Utilize
I U A Modules Comment
1. DISCIPLINARY KNOWLEDGE AND REASONING
1.1 Knowledge of underlying mathematics and science (G1X level)
X
X
TEN1
UPG1

                            
1.2 Fundamental engineering knowledge (G1X level)
X
TEN1
UPG1

                            
1.3 Further knowledge, methods, and tools in one or several subjects in engineering or natural science (G2X level)

                            
1.4 Advanced knowledge, methods, and tools in one or several subjects in engineering or natural sciences (A1X level)

                            
1.5 Insight into current research and development work

                            
2. PERSONAL AND PROFESSIONAL SKILLS AND ATTRIBUTES
2.1 Analytical reasoning and problem solving
X
X
X
TEN1
UPG1

                            
2.2 Experimentation, investigation, and knowledge discovery

                            
2.3 System thinking

                            
2.4 Attitudes, thought, and learning

                            
2.5 Ethics, equity, and other responsibilities

                            
3. INTERPERSONAL SKILLS: TEAMWORK AND COMMUNICATION
3.1 Teamwork

                            
3.2 Communications

                            
3.3 Communication in foreign languages
X

                            
4. CONCEIVING, DESIGNING, IMPLEMENTING AND OPERATING SYSTEMS IN THE ENTERPRISE, SOCIETAL AND ENVIRONMENTAL CONTEXT
4.1 External, societal, and environmental context

                            
4.2 Enterprise and business context

                            
4.3 Conceiving, system engineering and management

                            
4.4 Designing

                            
4.5 Implementing

                            
4.6 Operating

                            
5. PLANNING, EXECUTION AND PRESENTATION OF RESEARCH DEVELOPMENT PROJECTS WITH RESPECT TO SCIENTIFIC AND SOCIETAL NEEDS AND REQUIREMENTS
5.1 Societal conditions, including economic, social, and ecological aspects of sustainable development for knowledge development

                            
5.2 Economic conditions for knowledge development

                            
5.3 Identification of needs, structuring and planning of research or development projects

                            
5.4 Execution of research or development projects

                            
5.5 Presentation and evaluation of research or development projects

                            

This tab contains public material from the course room in Lisam. The information published here is not legally binding, such material can be found under the other tabs on this page.

There are no files available for this course.