Bulletin 2024-2025 > Courses > CS - Computer Science > 300 > CS 357
Introduction to finite automata, Turing machines, formal languages, computability, and complexity.