2IRR90 (2024-2) Automata and Formal Languages