A useful view is to think of all computation as simulation. cf.: Isomorphism of semigroups [Preparata, F. P. and Yeh, R. T., Introduction to Discrete Structures, Addison-Wesley, 1973, p. 129.]

Given two semigroups G₁ = [S, ] and G₂ = [T, ] , an invertible function : S &rarr T is said to be an isomorphism between G₁ and G₂ if, for every a and b in S ,

         (a b) = (a) (b)

Contents    Page-10    Prev    Next    Page+10    Index