it introduces a very tricky question, of what constitutes an implementation or instantiation of an abstract machine or algorithm.
That’s not a tricky question. You simply determine whether the defining relationships hold in the system—if they do, that system is an implementation.
That’s not a tricky question. You simply determine whether the defining relationships hold in the system—if they do, that system is an implementation.