Assertion: turing machine | /r/HasProperty | computed by a single tape turing machine
Facets:
Source sentences:
text: Hartmanis and Stearns then, in their founding paper for computational complexity theory, proved that any n-tape Turing machine reduces to a single tape Turing machine and so anything that can be computed by an n-tape or multitape Turing machine can also be computed by a single tape Turing machine, and conversely (Hartmanis & Stearns 1965).