2IRR90 (2025-2) Automata and Formal Languages