|
|
|
Jun 15, 2026
|
|
2025-2026 Undergraduate Benedict College Catalogue
|
CSC 234 - THEORY OF COMPUTATIONS (DESIGNATED SERVICE-LEARNING COURSE) This course presents formal models of computation such as finite state automata, push down automata, and Turing Machines. Formal definitions of languages, problems, and language classes including recursive, recursively enumerable, regular, and context free languages. Proofs of program properties including correctness are emphasized.
Credits: 3
Prerequisites CSC 132 or Permission of the instructor
Other Prerequisite MATH 336 and an ability to write programs
|
|
|