Added DFA lecture