Janis Buls Machine Morphisms and Simulation
1223 - 1226
2012
6
8
International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering http://waset.org/publications/2342
http://waset.org/publications/68
World Academy of Science, Engineering and Technology
This paper examines the concept of simulation from
a modelling viewpoint. How can one Mealy machine simulate the other one We create formalism for simulation of Mealy machines.
The injective s–morphism of the machine semigroups induces the simulation of machines 1. We present the example of s–morphism
such that it is not a homomorphism of semigroups. The story for the
surjective s–morphisms is quite different. These are homomorphisms
of semigroups but there exists the surjective s–morphism such that it does not induce the simulation.
International Science Index 68, 2012