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