2IT90 (2020-1) Automata, language theory and complexity