Assertion: turing machine | /r/CapableOf | simulate other machine
Facets:
Source sentences:
text: A universal turing machine can thus simulate any other machine.