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 | Bachelor’s Degree (First Cycle) |
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 | Has adequate knowledge in mathematics, science, and computer engineering-specific subjects; uses theoretical and practical knowledge in these areas to solve complex engineering problems. | X | ||||
2 | Identifies, defines, formulates, and solves complex engineering problems; selects and applies appropriate analysis and modeling methods for this purpose. | X | ||||
3 | Designs a complex system, process, device, or product to meet specific requirements under realistic constraints and conditions; applies modern design methods for this purpose. | X | ||||
4 | Develops, selects, and uses modern techniques and tools necessary for the analysis and solution of complex problems encountered in computer engineering applications; uses information technologies effectively. | |||||
5 | Designs experiments, conducts experiments, collects data, analyzes and interprets results for the investigation of complex engineering problems or research topics specific to the discipline of computer engineering. | |||||
6 | Works effectively in disciplinary and multidisciplinary teams; gains the ability to work individually. | |||||
7 | Communicates effectively in Turkish, both orally and in writing; writes effective reports and understands written reports, prepares design and production reports, makes effective presentations, gives and receives clear and understandable instructions. | |||||
8 | Knows at least one foreign language; writes effective reports and understands written reports, prepares design and production reports, makes effective presentations, gives and receives clear and understandable instructions. | |||||
9 | Has awareness of the necessity of lifelong learning; accesses information, follows developments in science and technology, and continuously improves oneself. | |||||
10 | Acts in accordance with ethical principles and has awareness of professional and ethical responsibility. | |||||
11 | Has knowledge about the standards used in computer engineering applications. | |||||
12 | Has knowledge about workplace practices such as project management, risk management, and change management. | |||||
13 | Gains awareness about entrepreneurship and innovation. | |||||
14 | Has knowledge about sustainable development. | |||||
15 | Has knowledge about the health, environmental, and safety impacts of computer engineering applications in universal and societal dimensions and the contemporary issues reflected in the field of engineering. | |||||
16 | Gains awareness of the legal consequences of engineering solutions. | |||||
17 | Analyzes, designs, and expresses numerical computation and digital representation systems. | |||||
18 | Uses programming languages and appropriate computer engineering concepts to solve computational problems. | X |
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 | 3 | 48 |
Presentation/Seminar Prepration | |||
Project | |||
Report | |||
Homework Assignments | 3 | 6 | 18 |
Quizzes/Studio Critics | |||
Prepration of Midterm Exams/Midterm Jury | 2 | 10 | 20 |
Prepration of Final Exams/Final Jury | 1 | 15 | 15 |
Total Workload | 149 |