CISC 7224X Formal Languages and Automata Theory

37 hours plus conference and independent work; 3 credits

Theory of grammars, regular grammars, context-free and context-sensitive grammars, recognizers. Models of computation, finite state machines, pushdown automata, random access stored program machines. Introduction to notions of category theory and its influences.

Prerequisite: Computer and Information Science 7221X or a course in theoretical computer science.


The City University reserves the right, because of changing conditions, to make modifications of any nature in academic programs and requirements of the university and its constituent colleges without advanced notice. Students are advised to consult regularly with college and department counselors concerning their programs of study.

Access the college's current and recent course bulletins.