formal language automata theory lecture