Assertion: turing machine | /r/CapableOf | simulate arbitrary turing machine
Facets:
value: on arbitrary input
type: OTHER
Source sentences:
text: In computer science, a universal Turing machine (UTM) is a Turing machine that simulates an arbitrary Turing machine on arbitrary input.