2025-2026 Undergraduate Benedict College Catalogue 
    
    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