Quick Notes - Automata Theory (CA469)