Course Schedule and Catalog
Course Catalog - 2006-2007
COMP 481 - AUTOMATA, FORMAL LAN&COMPUTABL
Long Title: AUTOMATA, FORMAL LANGUAGES, AND COMPUTABILITY
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 3
Prerequisite(s): COMP 314 AND COMP 280
Description: Finite automata, regular expressions, regular languages, pushdown automata, context-free languages, Turing machines, recursive languages, computability, and solvability.