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