Fuzzy Mealy Machines: Homomorphisms, Admissible Relations and Minimal Machines

Homomorphisms and admissible relations of fuzzy Mealy machines are studied. Admissible relations play a role similar to normal subgroups in group theory. The kernel of a homomorphism is shown to be an admissible relation. Conversely, corresponding to an admissible relation, there exists a homomorphism. The fundamental theorem on homomorphisms; and the existence and uniqueness of minimal machines are also presented.