CSCI 203 Theory of Automata and Formal Languages

Core Subject, Ateneo de Manila University, Department of Information Systems and Computer Science, 2026

Theory of Automata and Formal Languages is a graduate-level course that covers the fundamental concepts and connections among formal languages, machines, computability, and complexity. This course builds on the undergraduate course on theory of computation.

Editions: 2024-2025-2, 2023-2024-2