This course covers the concepts, theories, and procedures of formal languages, automata, grammar, computational complexity that are fundamentals on the computer science and engineering. Main topics include finite automata, regular language, context-free grammar, push-down automata, pumping lemma, Turing machines, recursively enumerable languages, and so on.

An Introduction to Formal Languages and Automata, Peter Linz 

Instructor:  Prof. Chang Wook Ahn - cwan@gist.ac.kr

Teaching Assistant:  

Gyumin Cho - chocumin@gm.gist.ac.kr

Chanmin Lee - mini0404@gm.gist.ac.kr

Taehyeon Kim - esteban12@gm.gist.ac.kr