2ITS90 (2020-2) Automata, language theory and complexity