
| Course Code | : MAT438 |
| Course Type | : Area Elective |
| Couse Group | : First Cycle (Bachelor's Degree) |
| Education Language | : Turkish |
| Work Placement | : N/A |
| Theory | : 3 |
| Prt. | : 0 |
| Credit | : 3 |
| Lab | : 0 |
| ECTS | : 6 |
The purpose of this course is to explain the concept of abstract machines and automata, and the course aims to help students for understanding the limitations of computers
An overview of automata theory, formal languages and Kleene closure, Regular expressions and regular languages, Transition graph, Kleene theorem, Finite automaton with outputs, Meely and Moore machines, Turing theory, Turing machines, Halting problem, decidability of a problem, computability and Church thesis
| Assoc. Prof. Korhan GÜNEL |
| 1. | Ability to understand the concept of formal languages |
| 2. | Ability to understand the differences between formal languages and natural languages |
| 3. | Ability to construct finite automata to generate a formal language |
| 4. | Ability to understand concept of grammars, and design a grammar to generate a formal language |
| 5. | Ability to understand computer limitations using Turing theory |
| 6. | Ability to classify formal languages |
| 7. | Ability to explain the concept of computability |
| 1. | Peter Linz, An Introduction to Formal Languages and Automata, 4th Edition, Jones and Bartlett, Boston, 2006 |
| 2. | Hopcroft, John.E., Ullman, J.D., Introduction to Automata Theory, Languages and Computation, Addison Wesley, 1978 |
| Type of Assessment | Count | Percent |
|---|---|---|
| Midterm Examination | 1 | %40 |
| Final Examination | 1 | %60 |
| Activities | Count | Preparation | Time | Total Work Load (hours) |
|---|---|---|---|---|
| Lecture - Theory | 14 | 0 | 3 | 42 |
| Individual Work | 14 | 0 | 3 | 42 |
| Midterm Examination | 1 | 30 | 2 | 32 |
| Final Examination | 1 | 32 | 2 | 34 |
| TOTAL WORKLOAD (hours) | 150 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-10 | PÇ-11 | PÇ-12 | PÇ-13 | PÇ-14 | PÇ-15 | PÇ-16 | PÇ-17 | PÇ-18 | |
OÇ-1 | 4 | 4 | 3 | 4 | ||||||||||||||
OÇ-2 | 4 | 3 | ||||||||||||||||
OÇ-3 | 4 | 4 | 4 | 3 | 4 | 4 | 4 | |||||||||||
OÇ-4 | 4 | 4 | 3 | 4 | 4 | 4 | ||||||||||||
OÇ-5 | 3 | 4 | ||||||||||||||||
OÇ-6 | 3 | |||||||||||||||||
OÇ-7 | 4 | 4 | 4 | 4 | 3 | 4 | 4 | 4 | ||||||||||