Assertion: turing machine | /r/CapableOf | determine smaller universal machines
Facets:
Source sentences:
text: They were introduced to determine smaller universal machines.