P
Initializing...
Proposition 4.10: every recognizable language is regular · Prove2Me