Assertion: turing machine | /r/CapableOf | calculate recursive function
Facets:
Source sentences:
text: A universal Turing machine can calculate any recursive function, decide any recursive language, and accept any recursively enumerable language.