Bilgisayar Mühendisliği

CE 315 | Ders Tanıtım Bilgileri

Dersin Adı

Automata Theory and Formal Languages

Kodu	Yarıyıl	Teori (saat/hafta)	Uygulama/Lab (saat/hafta)	Yerel Kredi	AKTS
CE 315	FALL	3	2	4	7

Ön-Koşul(lar)	Array
Dersin Dili	English
Dersin Türü	Zorunlu
Dersin Düzeyi	Lisans
Dersin Veriliş Şekli	Face-To-Face
Dersin Öğretim Yöntem ve Teknikleri	Discussion Problem Solving Q&A Critique Lecture / Presentation
Ulusal Meslek Sınıflandırma Kodu	-
Dersin Koordinatörü	Dr. Öğr. Üyesi Alper Demir
Öğretim Eleman(lar)ı	Dr. Öğr. Üyesi Alper Demir
Yardımcı(ları)	Araş. Gör. Melek Büşra Temuçin

Dersin Amacı

The aim of this course is to introduce automata theory and formal languages, which are one step more abstract than existing programming languages. Fundamental models of computation that form the basis for various branches of computer science, such as compiler design and software engineering, will be presented. At the end of the course, all students are expected to have mastered all these concepts from an engineering perspective.

Öğrenme Çıktıları

Bu dersi başarıyla tamamlayabilen öğrenciler;

Ad	Açıklama	PC Alt	* Katkı Düzeyi
Ad	Açıklama	PC Alt	1	2	3	4	5
LO1	Will be able to map the Chomsky language hierarchy to the corresponding automata and grammar types,	1.5					X
LO2	Will be able to trace a given automata or grammar,	2				X
LO3	Will be able to translate a given automaton or grammar into another equivalent form,	4			X
LO4	Design an automata or grammar for a given language,	3.2				X
LO5	Will be able to use LR(k) parsers for efficient processing of context-insensitive languages,	4		X
LO6	Will be able to define the concepts of polynomial time, non-deterministic polynomial time, NP-completeness, decidability and undecidability.	1.1		X

Ders Tanımı

In this course, the most fundamental theories of computer science will be covered, including regular expressions and context-free languages, finite and pushdown automata, Turing machines, computability, undecidability and problem complexity.

Dersin İlişkili Olduğu Sürdürülebilir Kalkınma Amaçları

Dersin Kategorisi	Temel Ders	X
	Uzmanlık/Alan Dersleri
	Destek Dersleri
	İletişim ve Yönetim Becerileri Dersleri
	Aktarılabilir Beceri Dersleri

HAFTALIK KONULAR VE İLGİLİ ÖN HAZIRLIK ÇALIŞMALARI

Hafta	Konular	Ön Hazırlık	Öğrenme Çıktısı
1	Deterministic Finite Automata	Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO1
2	Deterministic Finite Automata	Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO2
3	Nondeterministic finite automata	Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO4
4	Nondeterministic finite automata	Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO2
5	Regular Expressions	Chapter 1. Sections 1.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO3
6	Context-free Grammars	Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO1
7	Context-free Grammars	Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO4
8	Pushdown Automata	Chapter 2. Sections 2.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO2
9	Pushdown Automata	Chapter 2. Section 2.3.. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO3
10	Pushdown Automata	Chapter 2. Section, 2.4. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO5
11	Turing Machines	Chapter 3. Sections 3.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO1
12	Turing Machines	Chapter 3. Sections 3.2, 3.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO3
13	Complexity classes P, NP, and NP complete	Chapter 7. Sections 7.1-- 7.4. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO6
14	Decidability and undecidability	Chapter 4. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X	LO6
15	Review of the Semester		-
16	Final Exam		-

Ders Kitabı	Introduction to the theory of computation. 3rd Edition. Michael Sipser. ISBN 113318779X.
Önerilen Okumalar/Materyaller	https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020/

DEĞERLENDİRME ÖLÇÜTLERİ

Yarıyıl Aktiviteleri	Sayı	Katkı Payı %	LO1	LO2	LO3	LO4	LO5	LO6
Küçük Sınav / Stüdyo Kritiği	4	20	X	X	X	X	X	X
Ödev	1	10	X	X	X	X	X	X
Ara Sınav	1	30	X	X	X	X
Final Sınavı	1	40	X	X	X	X	X	X
Toplam	7	100

AKTS / İŞ YÜKÜ TABLOSU

Yarıyıl Aktiviteleri	Sayı	Süre (Saat)	İş Yükü
Katılım	-	-	-
Teorik Ders Saati	16	3	48
Laboratuvar / Uygulama Ders Saati	16	2	32
Sınıf Dışı Ders Çalışması	14	5	70
Arazi Çalışması	-	-	-
Küçük Sınav / Stüdyo Kritiği	4	3	12
Portfolyo	-	-	-
Ödev	2	5	10
Sunum / Jüri Önünde Sunum	-	-	-
Proje	-	-	-
Seminer/Çalıştay	-	-	-
Sözlü Sınav	-	-	-
Ara Sınavlar	1	20	20
Final Sınavı	1	20	20
		Toplam	212

DERSİN ÖĞRENME ÇIKTILARININ PROGRAM YETERLİLİKLERİ İLE İLİŞKİSİ

#	PC Alt	Program Yeterlilikleri / Çıktıları	* Katkı Düzeyi
#	PC Alt	Program Yeterlilikleri / Çıktıları	1	2	3	4	5
1	Engineering Knowledge: Knowledge of mathematics, science, basic engineering, computation, and related engineering discipline-specific topics; the ability to apply this knowledge to solve complex engineering problems.
	1	Mathematics		LO6
	2	Science
	3	Basic Engineering
	4	Computation
	5	Related engineering discipline-specific topics					LO1
	6	The ability to apply this knowledge to solve complex engineering problems
2	Problem Analysis: Ability to identify, formulate and analyze complex engineering problems using basic knowledge of science, mathematics and engineering, and considering the UN Sustainable Development Goals relevant to the problem being addressed.					LO2
3	Engineering Design: The ability to devise creative solutions to complex engineering problems; the ability to design complex systems, processes, devices or products to meet current and future needs, considering realistic constraints and conditions.
	1	Ability to design creative solutions to complex engineering problems
	2	Ability to design complex systems, processes, devices or products to meet current and future needs, considering realistic constraints and conditions				LO4
4	Use of Techniques and Tools: Ability to select and use appropriate techniques, resources, and modern engineering and computing tools, including estimation and modeling, for the analysis and solution of complex engineering problems, while recognizing their limitations.			LO5	LO3
5	Research and Investigation: Ability to use research methods to investigate complex engineering problems, including literature research, designing and conducting experiments, collecting data, and analyzing and interpreting results.
	1	Literature research for the study of complex engineering problems
	2	Designing experiments
	3	Ability to use research methods, including conducting experiments, collecting data. analyzing and interpreting results
6	Global Impact of Engineering Practices: Knowledge of the impacts of engineering practices on society, health and safety, economy, sustainability, and the environment, within the context of the UN Sustainable Development Goals; awareness of the legal implications of engineering solutions.
	1	Knowledge of the impacts of engineering practices on society, health and safety, economy, sustainability, and the environment, within the context of the UN Sustainable Development Goals
	2	Awareness of the legal implications of engineering solutions
7	Ethical Behavior: Acting in accordance with the principles of the engineering profession, knowledge about ethical responsibility; awareness of being impartial, without discrimination, and being inclusive of diversity.
	1	Acting in accordance with the principles of the engineering profession, knowledge about ethical responsibility ethical responsibility
	2	Awareness of being impartial and inclusive of diversity, without discriminating on any subject
8	Individual and Teamwork: Ability to work effectively, individually and as a team member or leader on interdisciplinary and multidisciplinary teams (face-to-face, remote or hybrid).
	1	Ability to work individually and within the discipline
	2	Ability to work effectively as a team member or leader in multidisciplinary teams (face-to-face, remote or hybrid)
9	Verbal and Written Communication: Taking into account the various differences of the target audience (such as education, language, profession) on technical issues.
	1	Ability to communicate verbally
	2	Ability to communicate effectively in writing
10	Project Management: Knowledge of business practices such as project management and economic feasibility analysis; awareness of entrepreneurship and innovation.
	1	Knowledge of business practices such as project management and economic feasibility analysis
	2	Awareness of entrepreneurship and innovation
11	Lifelong Learning: Lifelong learning skills that include being able to learn independently and continuously, adapting to new and developing technologies, and thinking questioningly about technological changes.