Assertion: turing machine | /r/HasProperty | explained in sec
Facets:
Source sentences:
text: As explained in Sec. 1.1, Turing machines were originally intended to formalize the notion of computability in order to tackle a fundamental problem of mathematics.