computation: producing a sequence of states via non-arbitrary transitions between them (generally starting with an initial state and possibly winding up in a te

computation: producing a sequence of states via non-arbitrary transitions between them (generally starting with an initial state and possibly winding up in a terminal state that recurs indefinitely) Yes, that is hand wavy, but it's what I had meant.