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 |
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) |
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" |
Program Requirements | Contribution Level | DK1 | DK2 | DK3 | DK4 | DK5 | DK6 | DK7 | DK8 | DK9 | DK10 | DK11 | Measurement Method |
---|
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 |
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 |