N-structures applied to finite state machines
Kavikumar Jacob, Azme Khamis, Mohd Saifullah Rusiman · 2013
In this paper the notion of a N-finite state machine is introduced, as well as the concepts of a N-(immediate) successor, a N-exchange property and a N-subsystem are introduced. Some related properties are discussed. A condition for a N-finite state machine to satisfy the N-exchange property is established. A characterization of a N-subsystem is initiated. We prove that the isomorphism between N-finite state machines is an equivalence relation (resp. partial order relation). We then introduce the concept of N-complete finite state machine and discuss the isomorphism between them.