Solution
CS 208: Computing Theory
91.304 Foundations of (Theoretical) Computer Science
15-251
Diagnosis of Discrete Event Systems
CMSC 330: Organization of Programming Languages
