ECTS - Formal Languages and Automata
Formal Languages and Automata (CMPE326) Course Detail
| Course Name | Course Code | Season | Lecture Hours | Application Hours | Lab Hours | Credit | ECTS |
|---|---|---|---|---|---|---|---|
| Formal Languages and Automata | CMPE326 | 6. Semester | 3 | 0 | 0 | 3 | 6 |
| Pre-requisite Course(s) |
|---|
| CMPE251 |
| Course Language | English |
|---|---|
| Course Type | Compulsory Departmental Courses |
| Course Level | Natural & Applied Sciences Master's Degree |
| Mode of Delivery | Face To Face |
| Learning and Teaching Strategies | Lecture. |
| Course Lecturer(s) |
|
| Course Objectives | This course is designed to provide the skills to appreciate and understand the formal definition of computation, and language. The students will be introduced to the definitions and properties of mathematical models of computation with automata theory. |
| Course Learning Outcomes |
The students who succeeded in this course;
|
| Course Content | Languages and their representations, finite automata and regular grammars, context-free grammars, concept of abstract machines and language acceptance, deterministic and non-deterministic finite state machines, pushdown automata, Turing machines and introduction to the theory of computation. |
Weekly Subjects and Releated Preparation Studies
| Week | Subjects | Preparation |
|---|---|---|
| 1 | Introduction | Chapters 0 (main text) |
| 2 | Regular Languages | Chapter 1 |
| 3 | Finite Automata | Chapter 1.1 |
| 4 | Nondeterminism | Chapter 1.2 |
| 5 | Finite Automata with Output | (other sources 2) |
| 6 | Regular Expressions | Chapter 1.3 |
| 7 | Context-Free Languages | Chapter 2 |
| 8 | Context-Free Grammars | Chapter 2.1 |
| 9 | Chomsky Normal Form | Chapter 2.1 |
| 10 | Pushdown Automata | Chapter 2.2 |
| 11 | Equivalence with Context-Free Grammars | Chapter 2.2 |
| 12 | Computability Theory | Chapter 3 |
| 13 | Turing Machines | Chapter 3.1 |
| 14 | Variants of Turing Machines | Chapter 3.2 |
| 15 | Review | |
| 16 | Review |
Sources
| Course Book | 1. Introduction to the Theory of Computation, Michael Sipser, 2nd Edition, Thomson Course Technology, 2006. |
|---|---|
| Other Sources | 2. Efim Kinber and Carl Smith, Theory of Computing: A Gentle Introduction",Prentice-Hall, 2001. ISBN # 0-13-027961-7. |
| 3. Daniel I.A. Cohen, Introduction to Computer Theory (2nd Edition), Wiley, 1997, ISBN # 0-471-13772-3 | |
| 4. Yarımağan, Ünal, “Özdevinirler Kuramı ve Biçimsel Diller”, Bıçaklar Kitabevi, 2003, ISBN# 975-8695-05-3 | |
| 5. Martin, John C. “Introduction to Languages and the Theory of Computation”,(2nd Edition), McGraw-Hill International Editions, 1997, ISBN# 0-07-115468-X | |
| 6. Linz, Peter, “An Introduction to Formal Languages and Automata”, Jones and Bartlett Publishers, 2001. |
Evaluation System
| Requirements | Number | Percentage of Grade |
|---|---|---|
| Attendance/Participation | - | - |
| Laboratory | - | - |
| Application | - | - |
| Field Work | - | - |
| Special Course Internship | - | - |
| Quizzes/Studio Critics | - | - |
| Homework Assignments | 3 | 10 |
| Presentation | - | - |
| Project | - | - |
| Report | - | - |
| Seminar | - | - |
| Midterms Exams/Midterms Jury | 2 | 55 |
| Final Exam/Final Jury | 1 | 35 |
| Toplam | 6 | 100 |
| Percentage of Semester Work | 65 |
|---|---|
| Percentage of Final Work | 35 |
| Total | 100 |
Course Category
| Core Courses | X |
|---|---|
| Major Area Courses | |
| Supportive Courses | |
| Media and Managment Skills Courses | |
| Transferable Skill Courses |
The Relation Between Course Learning Competencies and Program Qualifications
| # | Program Qualifications / Competencies | Level of Contribution | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | An ability to apply advanced knowledge of computing and/or informatics to solve software engineering problems. | |||||
| 2 | Develop solutions using different technologies, software architectures and life-cycle approaches. | |||||
| 3 | An ability to design, implement and evaluate a software system, component, process or program by using modern techniques and engineering tools required for software engineering practices. | |||||
| 4 | An ability to gather/acquire, analyze, interpret data and make decisions to understand software requirements. | |||||
| 5 | Skills of effective oral and written communication and critical thinking about a wide range of issues arising in the context of working constructively on software projects. | |||||
| 6 | An ability to access information in order to follow recent developments in science and technology and to perform scientific research or implement a project in the software engineering domain. | |||||
| 7 | An understanding of professional, legal, ethical and social issues and responsibilities related to Software Engineering. | |||||
| 8 | Skills in project and risk management, awareness about importance of entrepreneurship, innovation and long-term development, and recognition of international standards of excellence for software engineering practices standards and methodologies. | |||||
| 9 | An understanding about the impact of Software Engineering solutions in a global, environmental, societal and legal context while making decisions. | |||||
| 10 | Promote the development, adoption and sustained use of standards of excellence for software engineering practices. | |||||
ECTS/Workload Table
| Activities | Number | Duration (Hours) | Total Workload |
|---|---|---|---|
| Course Hours (Including Exam Week: 16 x Total Hours) | 16 | 3 | 48 |
| Laboratory | |||
| Application | |||
| Special Course Internship | |||
| Field Work | |||
| Study Hours Out of Class | 16 | 1 | 16 |
| Presentation/Seminar Prepration | |||
| Project | |||
| Report | |||
| Homework Assignments | 3 | 2 | 6 |
| Quizzes/Studio Critics | |||
| Prepration of Midterm Exams/Midterm Jury | 2 | 10 | 20 |
| Prepration of Final Exams/Final Jury | 1 | 15 | 15 |
| Total Workload | 105 | ||