CS 5700
Comp, Auto, & Formal Languages
University of Colorado Colorado Springs · UGRD · Fall 2026
1 section1 open now
Catalog description
Finite automata and regular expressions; context-free grammars, context-free languages, and pushdown automata; Turing machines; undecidability; the Chomsky Hierarchy of Formal Languages; computational complexity, and intractable problems. Prer., CS 2150 or MATH 2150. College of Engineering Graduate Students only. Meets with CS 4700.
Sections
Current meeting, instructor, credit, and enrollment details
001
8 openSeats: 0/15 seats Last recorded: Aug 8, 2026, 11:31 PMClass #10056Fall 2026UGRD3.00 credits
8 available15 capacity
- Days & times
- TR 1215-1330
- Meeting dates
- Aug 24 – Dec 19
- Location
- ENGR 107
- Instructor
- Pam Russell
Details checked 6 hours agoSeats checked 6 hours ago
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?