added first lecture automata