DD2373 VT26 Automata and Languages