8 ms·
right but, wouldn't a "better" turing machine be one that is somehow easier to reason about in the abstract or otherwise prove properties about rather than one
by a-dub 5y ago
right but, wouldn't a "better" turing machine be one that is somehow easier to reason about in the abstract or otherwise prove properties about rather than one that can be simulated faster or has simpler simulation implementation?