P
Initializing...
String equality decided in linear time by multi-tape Turing machine · Prove2Me