Assertion: turing machine | /r/CapableOf | investigate limitation
Facets:
Source sentences:
text: Turing machines, first described by Alan Turing in Turing 1936–7, are simple abstract computational devices intended to help investigate the extent and limitations of what can be computed.