MEMI

Meta-Evolutionary Machine Intelligence Laboratory

Automata Theory

Spring 2022

Course Information

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.

Textbook

An Introduction to Formal Languages and Automata, Perter Linz

Contact

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

Lecture Notes