Course Information

Course Information
Course Title Code Semester L+U Hour Credits ECTS
Formal Languages And Abstract Machines CE301 5. Semester 3 + 0 3.0 5.0
Prerequisites None
Language of Instruction Turkish
Course Level Undergraduate
Course Type
Mode of delivery Expression, Practising, Q&A, Discussion, Problem Solving
Course Coordinator Assist. Prof. Dr. Esra ŞATIR
Instructors Esra ŞATIR
Assistants
Goals To understand the mathematical methods related to the design of programming languages and to make possible the design of tools for accepting a program written in a certain language.
Course Content Basic mathematics for languages, Regular expressions, deterministic and nondeterministic automatas, grammar and languages, regular landuages, context free grammar, normal forms and optimization of grammars, Cumulative automatas, Turing machines, parsing operations,classification of languages, Shift-Reduce and Recursive-Descent parsing methods
Learning Outcomes - Defining a Language
- Language sets and regular expressions
- Regular sets abd automata theory
- Understanding language design and deterministic finite automata
- Understanding language design and non deterministic finite automata
- Using transition graphs for language design
- Using Moore-Mealy Machines for language design
- Context Free Language
- Language Tree and Parsing
- Push Down Automata
- Turing Machines
Weekly Topics (Content)
Week Topics Learning Methods
1. Week Regular and Non Regular Languages
2. Week Mathematical Notations and Techniques
3. Week Regular expressiond and regular languages
4. Week Deterministic Finite Automata
5. Week Nondeterministic Finite Automata
6. Week Transition Graphs
7. Week FA with Output
8. Week Context Free Grammars and Languages
9. Week Normal Forms
10. Week Pushdown Automatas
11. Week Turing Machines
12. Week Turing machine examples
13. Week Parsing (Top-Down Parsing)
14. Week Parsing (Top-Down Parsing)
Recommended Sources
3. Daniel I. A. Cohen, "Introduction to Computer Theory"
1. Prof.Dr.Ünal Yarımağan, "Automata Theory and Formal Languages", 1st edditionı, Bıçaklar store, 2003.
2. Dan Simovici, Richard L. Tenney, "Theory of formal languages with applications"
Relations with Education Attainment Program Course Competencies
Program Requirements Contribution Level DK1 DK2 DK3 DK4 DK5 DK6 DK7 DK8 DK9 DK10 DK11 Measurement Method
*DK = Course's Contrubution.
0 1 2 3 4 5
Course's Level of contribution None Very Low Low Fair High Very High
Method of assessment/evaluation Written exam Oral Exams Assignment/Project Laboratory work Presentation/Seminar
ECTS credits and course workload
Event Quantity Duration (Hour) Total Workload (Hour)
Midterm 1 1 1 1
Final 1 1 1
Classroom Activities 1 1 1
Total Workload 3
ECTS Credit of the Course 5.0