BYM448 Formal Languages and Automata TheoryInstitutional InformationDegree Programs Computer EngineeringInformation For StudentsDiploma SupplementErasmus Policy StatementNational Qualifications
Computer Engineering

Preview

Bachelor TR-NQF-HE: Level 6 QF-EHEA: First Cycle EQF-LLL: Level 6

Course General Introduction Information

Course Code: BYM448
Course Name: Formal Languages and Automata Theory
Course Semester: Fall
Course Credits:
ECTS
6
Language of instruction:
Course Requirement:
Does the Course Require Work Experience?: No
Type of course: Departmental Elective
Course Level:
Bachelor TR-NQF-HE:6. Master`s Degree QF-EHEA:First Cycle EQF-LLL:6. Master`s Degree
Mode of Delivery: Face to face
Course Coordinator : Dr.Öğr.Üyesi KEMAL ÇAĞRI SERDAROĞLU
Course Lecturer(s): Dr. Öğrt. Üyesi Nazlı Tokatlı
Course Assistants:

Course Purpose and Content

Course Objectives: The aim of this course is to provide students the theoretical knowledge needed to understand and analyze the behavior of discrete computing systems.
Course Content: Theory of mathematical models of computing devices through the study of abstract machine and corresponding formal languages. Formal languages, grammars, finite state machines, regular sets, regular expressions, limitations of finite state models, pushdown automata, context free languages, Turing machines, effective computability, unsolvable decision problems.

Learning Outcomes

The students who have succeeded in this course;
1) Adequate knowledge to understand abstract machine models and formal languages
2) Ability to design abstract machine models to accept various formal languages.

Course Flow Plan

Week Subject Related Preparation
1) Introduction, Proof Methods Textbook
2) Finite Automata Textbook
3) Regular Expressions Textbook
4) Properties of Regular Languages Textbook
5) Decision Properties of Regular Languages Textbook
6) Context Free Grammars (CFGs) and Ambiguity Textbook
7) Midterm Textbook
8) Push Down Automata (PDA) Textbook
9) Equivalence of PFA and CFG Textbook
10) Operations on CFGs Textbook
11) Closure Properties of CFGs Textbook
12) Turing Machines and Complexity Textbook
13) Other Turing Machine Models Textbook
14) Decidable and Undecidable Languages Textbook

Sources

Course Notes / Textbooks: Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson – 3rd Edition)
References: Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson – 3rd Edition)

Course - Learning Outcome Relationship

No Effect 1 Lowest 2 Medium 3 Highest
       
Program Outcomes Level of Contribution
1) Adequate knowledge in mathematics, science and engineering subjects pertaining to the relevant discipline; ability to use theoretical and applied knowledge in these areas in complex engineering problems. 3
2) Ability to identify, formulate, and solve complex engineering problems; ability to select and apply proper analysis and modeling methods for this purpose. 2
3) Ability to design a complex system, process, device or product under realistic constraints and conditions, in such a way as to meet the desired result; ability to apply modern design methods for this purpose 3
4) Ability to devise, select, and use modern techniques and tools needed for analyzing and solving complex problems encountered in engineering practice; ability to employ information technologies effectively. 2
5) Ability to design and conduct experiments, gather data, analyze and interpret results for investigating complex engineering problems or discipline specific research questions.
6) Ability to work efficiently in intra-disciplinary and multi-disciplinary teams; ability to work individually. 1
7) Ability to communicate effectively in Turkish, both orally and in writing; knowledge of a minimum of one foreign language; ability to write effective reports and comprehend written reports, prepare design and production reports, make effective presentations, and give and receive clear and intelligible instructions. 3
8) Knowledge of the global and societal impacts of engineering practices on priority issues such as health, environment and safety and contemporary issues; knowledge of the legal aspects of engineering solutions. awareness of the consequences 3
9) Consciousness to behave according to ethical principles and professional and ethical responsibility; knowledge on standards used in engineering practice. 3
10) Information about business life practices such as project management, risk management, and change management; awareness of entrepreneurship, innovation, and knowledge about sustainable development. 1
11) Ability to design systems to meet desired needs
12) Ability to apply basic sciences in the field of computer engineering 3
13) Ability to implement designs by experiments 1
14) Recognition of the need for lifelong learning; ability to access information, to follow developments in science and technology, and to continue to educate him/herself. 1

Learning Activity and Teaching Methods

Anlatım
Bireysel çalışma ve ödevi
Homework
Problem Çözme

Measurement and Evaluation Methods and Criteria

Yazılı Sınav (Açık uçlu sorular, çoktan seçmeli, doğru yanlış, eşleştirme, boşluk doldurma, sıralama)
Homework
Raporlama

Assessment & Grading

Semester Requirements Number of Activities Level of Contribution
Quizzes 3 % 5
Homework Assignments 5 % 30
Midterms 1 % 25
Final 1 % 40
total % 100
PERCENTAGE OF SEMESTER WORK % 60
PERCENTAGE OF FINAL WORK % 40
total % 100

İş Yükü ve AKTS Kredisi Hesaplaması

Activities Number of Activities Aktiviteye Hazırlık Aktivitede Harçanan Süre Aktivite Gereksinimi İçin Süre Workload
Course Hours 13 3 39
Study Hours Out of Class 14 6 84
Homework Assignments 5 7 35
Quizzes 3 2 6
Midterms 1 2 2
Final 1 2 2
Total Workload 168