CL
DP
A
M
CT
Cal
Use and design automata both formally and informally, including DFA, NFA, PDA, TM.
Learning Goal: Use precise notation to formally define the state diagram of DFA, NFA, PDA, TM.
PDF LaTeX Raw HTML
Learning Goal: Use clear English to describe computations of DFA, NFA, PDA, TM informally.