Formal languages and automata
| 1. | Course title | Formal languages and automata | ||||||||||||
| 2. | Code | F18L3S039 | ||||||||||||
| 3. | Study programme | |||||||||||||
| 4. | Organizer of the study programme (unit, institute, department) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Degree level (first, second, third cycle) | First cycle | ||||||||||||
| 6. | Academic year / semester | 6 / Summer | ||||||||||||
| 7. | Number of ECTS credits | 6 | ||||||||||||
| 8. | Teacher | — | ||||||||||||
| 9. | Prerequisites for enrolling in the course | Структурно програмирање | ||||||||||||
| 10. | Course objectives (competences) | The purpose of this course is to acquaint the student with an overview of the theoretical foundations of computer science from the perspective of formal languages. - Classify machines by their power to recognize languages. - Employ finite state machines to solve problems in computing. - Explain deterministic and non-deterministic machines. - Comprehend the hierarchy of problems arising in the computer sciences. | ||||||||||||
| 11. | Course content | Introduction to automata and formal languages; Finite automata; Regular expressions and languages; Properties of regular languages; Context free grammars and languages; Push-down automata; Properties of context free languages; Turing machines; decidability; P, NP and other complexity classes; | ||||||||||||
| 12. | Learning methods | Lectures using presentations, interactive lectures, exercises (using equipment and software packages), teamwork, case studies, guest lecturers, independent preparation and defense of a project assignment and a seminar paper. | ||||||||||||
| 13. | Total available time | 6 ECTS x 30 hours = 180 hours | ||||||||||||
| 14. | Distribution of the available time | 30 + 45 + 15 + 15 + 75 = 180 hours | ||||||||||||
| 15. | Forms of teaching activities |
| ||||||||||||
| 16. | Other forms of activities |
| ||||||||||||
| 17. | Grading |
| ||||||||||||
| 18. | Grading criteria (points / grade) |
| ||||||||||||
| 19. | Requirements for signature and taking the final exam | Activities 15.2 and 16.1 completed | ||||||||||||
| 20. | Language of instruction | Macedonian and English | ||||||||||||
| 21. | Method of monitoring teaching quality | internal evaluation and survey mechanism | ||||||||||||
| 22. | Literature |
|