Assertion: turing machine | /r/HasProperty | copeland
Facets:
Source sentences:
text: Examples of such models are oracle machines (Turing 1939), infinite-time Turing machines (Hamkins & Lewis 2008) and accelerating Turing machines (Copeland 2002).