Assertion: model | /r/HasProperty | equivalent
Facets:
value: to the turing machine
type: OTHER
Source sentences:
text: Abstract machine and models equivalent to it (e.g. lambda calculus is equivalent to the Turing machine) - used in proofs of computability and upper bounds on computational complexity of algorithms.