Dec 05, 2025  
2024-2025 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Letters from the Administration
  University Policy Statement
  History
  The Graduate School
  Faculty
  Programs of Study
  College of Arts and Sciences
  College of Business
  College of Education
  College of Professional Studies
  Graduate Course Descriptions
  General Graduate Admission Requirements
  Additional Admissions Requirements
  Financial Information
  Student Services
  University Buildings and Facilities
  Financial Aid
  Academic Policies and Procedures
  Student Life and Academic Support
HELP
2024-2025 Graduate Catalog [ARCHIVED CATALOG]

COSC 623 - Logic, Computability and Automata II



3 Credits
Prerequisite(s): COSC 523 Continuation of COSC 523. The theory of abstract mathematical machines. Structural and behavioral classification of automata; finite state automata; theory of regular sets. Pushdown automata, linear bounded automata. Finite transducers. Universal Turing machines.