Assertion: machine | /r/CapableOf | solving circ
Facets:
Source sentences:
text: It is shown that the machine \(T_{decide}\) becomes a circular machine when it is provided with its own description number, hence the assumption of a machine which is capable of solving CIRC?