Dec 08, 2025  
2025-2026 Catalog 
    
Catalog Navigation
  Catalog Home
  About
  How To Use Your UCCS Catalog
  Academic Policies, Course Registration, and Student Records
  Student Rights and Responsibilities
  Administration and Faculty
  Academics
  Programs
  Courses
  Campus Wide Requirements: Compass Curriculum
  Academic Outreach and Online Programs
  Colleges & Schools
  College of Business and Administration
  College of Education
  College of Engineering and Applied Science
  College of Letters, Arts & Sciences
  College of Nursing and Health Sciences
  College of Public Service
  The Graduate School
  Resources
  Academic Advising/Degree Audit/Orientation
  Academic Calendar
  Admissions
  Campus Life and Services
  Financial Aid and Student Employment
  Tuition and Fees
  My Portfolio
HELP
2025-2026 Catalog
Add to Portfolio (opens a new window)

CS 4700 - Computability, Automata and Formal Languages

3 Credits (Minimum) 3 Credits (Maximum)
Finite automata and regular expressions, context-free grammars, context-free languages, and pushdown automata, Turning machines, undecidability, the Chomsky hierarchy of formal languages, computational complexity and intractable problems. Prer., CS 2150 or MATH 2150 with a grade of “C” or better. College of Engineering students only. Meets with CS 5700. Course typically offered: Fall, Spring


Add to Portfolio (opens a new window)