P
Initializing...
A unary budget tape implements exact bounded machine acceptance · Prove2Me