CS 475
CS 475 - Formal Models of Computation
Fall 2023
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Formal Models of Computation | CS475 | C3 | 35887 | LCD | 3 | 1530 - 1645 | T R | 1214 Siebel Center for Comp Sci | Mahesh Viswanathan |
Formal Models of Computation | CS475 | C4 | 35895 | LCD | 3 | 1530 - 1645 | T R | 1214 Siebel Center for Comp Sci | Mahesh Viswanathan |
Formal Models of Computation | MATH475 | C3 | 35897 | LCD | 3 | 1530 - 1645 | T R | 1214 Siebel Center for Comp Sci | Mahesh Viswanathan |
Formal Models of Computation | MATH475 | C4 | 35903 | LCD | 3 | 1530 - 1645 | T R | 1214 Siebel Center for Comp Sci | Mahesh Viswanathan |
See full schedule from Course Explorer
Official Description
Finite automata and regular languages; pushdown automata and context-free languages; Turing machines and recursively enumerable sets; linear-bounded automata and context-sensitive languages; computability and the halting problem; undecidable problems; recursive functions; Chomsky hierarchy; computational complexity. Course Information: Same as MATH 475. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 374 or ECE 374.