DD2372 automat20 VT20-1 Automata and Languages