Course Catalog 2012-2013
Basic

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2012-2013

MAT-41176 Theory of Automata, 5 cr

Additional information

Periods 1-2
Suitable for postgraduate studies

Person responsible

Stephane Foldes

Lessons

Study type P1 P2 P3 P4 Summer Implementations Lecture times and places
Lectures
 17 h/per
+18 h/per

 

 

 
MAT-41176 2012-01 Monday 17 - 19, TB219
Tuesday 15 - 16, TB219

Requirements

Final exam plus classroom activity, particulars to be announced during first lecture.

Principles and baselines related to teaching and learning

-

Content

Content Core content Complementary knowledge Specialist knowledge
1. Strings of symbols, languages and mathematical machines.     
2. Deterministic and non-deterministic computations. Turing machines, algorithms, decidability.     
3. Oracles and reducibility. Complexity of computation.      
4. COURSE NOT GIVEN IN 2009-2010     

Study material

Type Name Author ISBN URL Edition, availability, ... Examination material Language
Book   Introduction to the Theory of Computation   Sipser, M.       PWS Publ. Co., Boston 1996      English  

Prerequisite relations (Requires logging in to POP)



Correspondence of content

Course Corresponds course  Description 
MAT-41176 Theory of Automata, 5 cr 73117 Theory of Automata, 3 cu  

More precise information per implementation

Implementation Description Methods of instruction Implementation
MAT-41176 2012-01        

Last modified21.06.2012