Assertion: algorithm's input | /r/HasProperty | abstract structures
Facets:
Source sentences:
text: And there are algorithms, of modern and classical varieties, not covered directly by Turing's analysis, for example, algorithms that interact with their environments, algorithms whose inputs are abstract structures, and geometric or, more generally, non-discrete algorithms" (Blass-Gurevich (2003)