Dec 06, 2025  
2015-2016 Graduate Catalog 
    
2015-2016 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 770 - Formal Language Theory

Credits: (3)

Regular languages, finite automata, context-free languages, pushdown automata, context-sensitive languages, linear bounded automata, recursively enumerable languages, Turing machines.

Requisites:
Prerequisite: MATH 510. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.



Add to Portfolio (opens a new window)