COMP 5110 Automata Theory and Formal Languages
Design of different types of automata. Visualization of the different concepts involved in automata theory. Use of the approach called learning from examples. Discussion of some aspects related to robots and formal languages. Study of the relations between formal languages and automata, as well as some of the forms of language specifications and their computer properties. Requires an open lab.