Category:Automata theory

NtWJQj AFAICT you've covered all the bases with this anwesr!