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