Cascade synthesis of finite-state machines
نویسنده
چکیده
One can construct any finite-state machine as a cascade interconnection of machines whose inputs either permute the states or reset them all to one state. Each permutation group needed in the construction is a homomorphic image of a group generated by the action of a set of input sequences on a state subset of the original machine. Proofs of these facts will be given and their application to the KrohnRhodes theory described.
منابع مشابه
Restricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملOn covering of products of T-generalized state machines
We introduce the concepts of T-generalized state machines and coverings of products of them. Also some of algebraic properties of them are investigated. Finely some products such as direct sum and sum of Tgeneralized state machines are introduced. An interesting distributive property of cascade product over the sum of Tgeneralized state machines concern to covering of T-generalized state machin...
متن کاملGALLOP: Genetic Algorithm based Low Power FSM Synthesis by Simultaneous Partitioning and State Assignment
Partitioning has been shown to be an effective method for synthesis of low power finite state machines. In this approach, an FSM is partitioned into two or more coupled sub-machines such that most of the time only one of the sub-machines is active. In this paper, we present a GA based approach for simultaneous partitioning and state assignment of finite state machines with power reduction as th...
متن کاملQuantum Finite State Machines - a Circuit Based Approach
We present a model of Quantum Finite State Machines (QFSM) based on the quantum circuit representation. In this model, properties of quantum bits are exploited in order to implement Quantum Finite State Machines without an explicit external memory. We show that because of the the natural ability of quantum systems to retain the quantum state, quantum circuits can be directly used to implement s...
متن کاملFuzzy Simulation for Infrastructure Effects Uncertainty Analysis
In this paper we propose a method for conducting infrastructure effects-based modeling in uncertain environments. Critical infrastructure is composed of intertwining physical and social networks. Events in one network often cascade to other networks creating a domino effect. This cascading effect is not always well understood due to uncertainties in the multiple levels of effect. To account for...
متن کامل