andreas comments on Help: When are two computations isomorphic? - Less Wrong

3 [deleted] 08 October 2010 12:29AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (7)

You are viewing a single comment's thread.

Comment author: andreas 08 October 2010 02:49:11AM 1 point [-]

The notion of abstract state machines may be useful for a formalization of operational equivalence of computations.