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, Perter Linz
Instructor:
Prof. Chang Wook Ahn - cwan@gist.ac.kr
Teaching Assistant:
Donghyeon Lee - cheetos@gm.gist.ac.kr
Chanmin Lee - mini0404@gm.gist.ac.kr