Introduction to the Theory of Computation, 6 credits

Introduction to the Theory of Computation, 6 hp

TDDD65

The course is disused.

Main field of study

Computer Science and Engineering Computer Science

Course level

First cycle

Course type

Programme course

Examiner

Christer Bäckström

Director of studies or equivalent

Ahmed Rezine

Education components

Preliminary scheduled hours: 54 h
Recommended self-study hours: 106 h
Possible deviation from course syllabus/programme syllabus
ECV = Elective / Compulsory / Voluntary
Course offered for Semester Period Timetable module Language Campus ECV
6MICS Computer Science, Master's Programme 1 (Autumn 2017) 1, 2 2, 1 English Linköping, Valla C

Main field of study

Computer Science and Engineering, Computer Science

Course level

First cycle

Advancement level

G2X

Course offered for

  • Computer Science, Master's Programme

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 course in discrete mathematics. Basic course in algorithms and data structures.

Intended learning outcomes

During this course the students will learn concepts and techniques of formal languages, automata, computability and complexity, relevant for the engineering practice. They are applied, among others, in systems modeling and verification and in compiler construction. They also allow to reason if a computational problem at hand can be solved at all and if it has an efficient solution. After this course, a student will be able to use techniques of:

  • formal language definition by accepting automata and by formal grammars,
  • transformation of such definitions,
  • analysis of decidability of algorithmic problems
  • complexity analysis.
and demonstrate knowledge concerning
  • the basic rules and regulations for advanced studies and how to apply the ethical code of academia in their own studies,
  • the requirements of reports and exams in their education.

Course content

  • Finite automata and regular languages.
  • Push-down automata and Context-free languages.
  • Turing Machines and Church-Turing Thesis.
  • The notion of decidability; important undecidable problems.
  • Techniques for checking undecidability.
  • Big-Oh-notation, techniques for analysis of algorithms.
  • Time complexity classes P, NP.
  • NP-completeness and its practical relevance.
  • Basics of space complexity.
The course also includes university rules, ethical rules, academic writing and reporting and how to prepare for examination.

Teaching and working methods

Lectures present the theory and seminars are devoted to problem solving.
The course runs over the entire autumn semester.

Examination

UPG3Assignments - computation1 creditsU, G
UPG2Assignments - academic studies2 creditsU, G
TEN1Written examination3 creditsU, 3, 4, 5

Grades

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

Other information

Supplemenatary courses: Compiler construction

Department

Institutionen för datavetenskap

Director of Studies or equivalent

Ahmed Rezine

Examiner

Christer Bäckström

Course website and other links

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

Education components

Preliminary scheduled hours: 54 h
Recommended self-study hours: 106 h

Course literature

Additional literature

Books

  • Michael Sipser, (2006) Introduction to the Theory of Computation 2nd edition
  • Thomas A. Sudkamp, (2006) Languages and Machines 3d edition
Code Name Scope Grading scale
UPG3 Assignments - computation 1 credits U, G
UPG2 Assignments - academic studies 2 credits U, G
TEN1 Written examination 3 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. 

Student rights and obligations (login required)
Linköping University common rules and regulations (in Swedish)

Additional literature

Books

Michael Sipser, (2006) Introduction to the Theory of Computation 2nd edition
Thomas A. Sudkamp, (2006) Languages and Machines 3d edition

Download

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
X
TEN1
 

                            		
                        

                        

                            
                            1.2 Fundamental engineering knowledge (G1X level)
                            
                                
X

                            		
                            
                                
X

                            		
                            
                                
X

                            		
                            
                                  
TEN1

                            		
                            
                                

                            		
                        

                        

                            
                            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

                            		
                            
                                  
TEN1

                            		
                            
                                

                            		
                        

                        

                            
                            2.2 Experimentation, investigation, and knowledge discovery
                            
                                
 

                            		
                            
                                
X

                            		
                            
                                
X

                            		
                            
                            
                            
                                

                            		
                        

                        

                            
                            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
                            
                                
 

                            		
                            
                                
X

                            		
                            
                                
X

                            		
                            
                            
                            
                                

                            		
                        

                        

                            
                            3.3 Communication in foreign languages
                            
                                
 

                            		
                            
                                
 

                            		
                            
                                
 

                            		
                            
                            
                            
                                

                            		
                        

                    
                    
                        

                            
                                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.