Course Information

Course Name	Turkish	Biçimsel Diller ve Otomatlar
	English	Formal Languages and Automata
Course Code	BLG 311E	Credit	Lecture (hour/week)	Recitation (hour/week)	Laboratory (hour/week)
Semester	-	3	3	-	-
Course Language		English
Course Coordinator		Ömer Sinan Saraç
Course Objectives		Introduce concepts in automata theory and theory of computation Identify different formal language classes and Identify different formal language classes and their relationships Designing grammars and recognizers for different formal languages Prove or disprove theorems in automata theory using its properties theory using its properties Determine the decidability and intractability of computational problems
Course Description		Introduce concepts in automata theory and theory of computation
Course Outcomes
Pre-requisite(s)
Required Facilities
Other
Textbook
Other References