P
Initializing...
Corollary 4.8: every regular language is recognizable · Prove2Me