Assertion: given algorithm | /r/HasProperty | a set of turing machines
Facets:
Source sentences:
text: A more likely suggestion is that a given algorithm, like Binary Search, is a set of Turing machines, an equivalence class, based on... what?