| Semester | Course Unit Code | Course Unit Title | T+P+L | Credit | Number of ECTS Credits |
| 6 | COMP306 | FORMAL LANGUAGES AND AUTOMATA THEORY | 3+2+0 | 4 | 6 |
|
Language of Instruction
|
English
|
|
Level of Course Unit
|
Bachelor's Degree
|
|
Department / Program
|
COMPUTER ENGINEERING
|
|
Type of Program
|
Formal Education
|
|
Type of Course Unit
|
Compulsory
|
|
Course Delivery Method
|
Face To Face
|
|
Objectives of the Course
|
Develop knowledge for the fundamental concepts in formal languages
Learn the techniques used for analyzing and comparing languages and models
Develop skills for designing models for computer components
|
|
Course Content
|
The course introduces some fundamental concepts in automata theory and formal languages such as grammar, finite automaton, regular expression, formal language, pushdown automaton, and Turing machine. These concepts form basic models of computation and they are the foundation of many branches in computer science including compiler, software engineering and concurrent systems.
|
|
Course Methods and Techniques
|
|
|
Prerequisites and co-requisities
|
None
|
|
Course Coordinator
|
Prof.Dr. VEHBİ ÇAĞRI GÜNGÖR cagri.gungor@agu.edu.tr
|
|
Name of Lecturers
|
Asist Prof.Dr. GÜLAY YALÇIN ALKAN
|
|
Assistants
|
None
|
|
Work Placement(s)
|
No
|
Recommended or Required Reading
Course Category
|
Mathematics and Basic Sciences
|
%60
|
|
|
Engineering
|
%40
|
|
|
Engineering Design
|
%0
|
|
|
Social Sciences
|
%0
|
|
|
Education
|
%0
|
|
|
Science
|
%0
|
|
|
Health
|
%0
|
|
|
Field
|
%0
|
|
|
Planned Learning Activities and Teaching Methods
Activities are given in detail in the section of "Assessment Methods and Criteria" and "Workload Calculation"
Assessment Methods and Criteria
|
In-Term Studies
|
|
Yarıyıl İçi Çalışmalarının Başarı Notunun Katkısı
|
2
|
%
40
|
|
Quiz/Küçük Sınav
|
12
|
%
30
|
|
Final examination
|
1
|
%
30
|
|
Total
|
15
|
%
100
|
ECTS Allocated Based on Student Workload
|
Activities
|
Total Work Load
|
|
Yazılı Sınav
|
3
|
30
|
90
|
|
F2F Dersi
|
14
|
3
|
42
|
|
Soru Çözümü
|
14
|
2
|
28
|
|
Okuma
|
10
|
2
|
20
|
|
Total Work Load
| |
|
Number of ECTS Credits 6
180
|
Course Learning Outcomes: Upon the successful completion of this course, students will be able to:
| No | Learning Outcomes |
|
1
| Explain the mathematical and algorithmic principles of formal languages |
|
2
| Analyze a computational model |
|
3
| Design a model for computer components |
Weekly Detailed Course Contents
Contribution of Learning Outcomes to Programme Outcomes
Contribution: 1: Very Slight 2:Slight 3:Moderate 4:Significant 5:Very Significant
https://sis.agu.edu.tr/oibs/bologna/progCourseDetails.aspx?curCourse=74955&lang=en