Category: Automata theory and formal language