BYM448 Formal Languages and Automata TheoryInstitutional InformationDegree Programs Software EngineeringInformation For StudentsDiploma SupplementErasmus Policy StatementNational Qualifications
Software 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: Area Ellective
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) Sufficient knowledge in mathematics, science and software engineering discipline-specific topics; the theoretical and practical knowledge in these areas, the ability to use in complex engineering problems. 3
2) The ability to identify, formulate, and solve complex engineering problems; selecting and applying appropriate analysis and modelling methods for this purpose. 2
3) The ability to design a complex system, process, device or product under realistic constraints and conditions to meet specific requirements; the ability to apply modern design methods for this purpose. 3
4) Ability to develop, select and use modern techniques and tools necessary for analysis and solution of complex problems in engineering applications; ability to use information technologies effectively. 2
5) Ability to design experiments, conduct experiments, collect data, analyse and interpret the results of complex engineering problems or discipline-specific research topics.
6) Disiplin içi ve çok disiplinli takımlarda etkin biçimde çalışabilme becerisi; bireysel çalışma becerisi. 1
7) Awareness of the need for lifelong learning; access to knowledge, ability to follow developments in science and technology, and constant self-renewal. 3
8) Effective communication skills in Turkish oral and written communication; at least one foreign language knowledge; ability to write effective reports and understand written reports, to prepare design and production reports, to make effective presentations, to give clear and understandable instructions and to receive. 3
9) Conformity to ethical principles, professional and ethical responsibility; Information on standards used in engineering applications. 3
10) Information on practices in business, such as project management, risk management and change management; awareness about entrepreneurship, innovation; information on sustainable development. 1
11) Information on the effects of engineering applications on health, environment, and safety in universal and social dimensions, and on the problems of the modern age in engineering; awareness of the legal consequences of engineering solutions.
12) Adequate skills in the analysis, design, verification, evaluation, implementation, implementation, and maintenance of software systems 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