andreas comments on Help: When are two computations isomorphic? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (7)
The notion of abstract state machines may be useful for a formalization of operational equivalence of computations.