6533b7d1fe1ef96bd125d7b3
RESEARCH PRODUCT
Machine Morphisms And Simulation
Janis Bulssubject
Mathematics::Algebraic GeometryMealy machineMathematics::Category Theorysurjective s–morphisms.injective s–morphismsimulationmachine semigroupdescription
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.
year | journal | country | edition | language |
---|---|---|---|---|
2012-08-24 |