P
Initializing...
Polynomial-time decidability is preserved by an unused tape · Prove2Me