Automata theory and formal languages. (2023)