Oct 09, 2026  
2026-2027 University Academic Catalog 
    
2026-2027 University Academic Catalog
Add to Portfolio (opens a new window)

CS 420 - Computability Theory and Formal Languages

Credits: (3)
Instructional Method: Three hours lecture.
Prerequisites: CS 322 .
A survey of attempts to model computation and formal language concepts.



Add to Portfolio (opens a new window)