The problem of completeness in a class of Moore automata

Cybernetics ◽  
1972 ◽  
Vol 4 (3) ◽  
pp. 76-77
Author(s):  
M. A. Spivak
Keyword(s):  
Moore Automata

Completeness Conditions of Systems of Moore Automata

2013 ◽  
Vol 11 (4) ◽  
pp. 17-24
Author(s):  
A. Donis
Keyword(s):  
Sufficient Conditions ◽  
Short Cycle ◽  
Moore Automata ◽  
Long Cycles ◽  
Complete Sets

Abstract This paper describes sufficient completeness conditions for the class of Moore automata, compositions with feedback on this class and the behavior realization. It is shown how to realize a delay by automata from the set satisfying sufficient conditions for completeness. The ideas of these constructions demonstrate how from a set of automata with long cycles of transients can be realized a delay with short cycle of transient. It is shown that there are large finite complete sets of automata, for which any proper subsets are not complete.

On Boyer-Moore automata

Algorithmica ◽  
1994 ◽  
Vol 12 (4-5) ◽  
pp. 268-292 ◽  
Author(s):  
R. A. Baeza-Yates ◽  
C. Choffrut ◽  
G. H. Gonnet
Keyword(s):  
Moore Automata

On simplicity-critical Moore automata. I

1988 ◽  
Vol 52 (1-2) ◽  
pp. 165-174 ◽  
Author(s):  
A. Ádám
Keyword(s):  
Moore Automata

scholarly journals Nondeterministic Moore automata and Brzozowski’s minimization algorithm

2012 ◽  
Vol 450 ◽  
pp. 81-91 ◽  
Author(s):  
G. Castiglione ◽  
A. Restivo ◽  
M. Sciortino
Keyword(s):  
Minimization Algorithm ◽  
Moore Automata

scholarly journals Channel capacity of Moore automata

1968 ◽  
Vol 12 (5) ◽  
pp. 453-465 ◽  
Author(s):  
Roger C. Conant
Keyword(s):  
Channel Capacity ◽  
Moore Automata

scholarly journals Synthesis of a combined automaton with ASIC

2020 ◽  
pp. 78-85
Author(s):  
A.A. Barkalov ◽  
L.A. Titarenko ◽  
Y.E. Vizor ◽  
A.V. Matvienko
Keyword(s):  
Boolean Functions ◽  
Finite State Machine ◽  
Synthesis Methods ◽  
Memory Functions ◽  
Chip Area ◽  
Control Units ◽  
The Matrix ◽  
Finite State ◽  
Moore Automaton ◽  
Moore Automata

Introduction. The model of a finite state machine is widely used for describing behavior of different sequential blocks, such as control units. It is possible that control units possess output signals having both types of Mealy and Moore automata. A model of the combined automaton can be used to synthesize such devices. When the automaton circuit is implemented, it is necessary to optimize its characteristics such as hardware amount. The methods of this task solution depend significantly on logic elements used to implement circuits. In this article, we propose a method of reducing hardware in the circuit of combined automaton implemented with ASIC. In this case, the circuit is implemented using customized matrix circuits. The proposed method allows reducing the chip area occupied by the circuit of the automaton. The method is based on the expansion of the matrix that generates circuit product terms of the systems of input memory functions and output functions of the combined automaton. The additional part of the matrix generates terms for output functions of Moore automaton. It allows reduction of the chip area as compared to the area of the two-level circuit of the combined automaton. The purpose of the article is to show that the division of circuit matrices allows reducing the resulting matrix area. The hardware amount is estimated for both trivial automaton structure and for the proposed approach. They are determined in conventional units of area. Results. The method is proposed based on the expansion of the matrix of terms. Using an example, it is shown how to execute the steps of the proposed method. To increase the method efficiency, it is proposed to use a special state assignment that minimizes the number of terms in the systems of Boolean functions of outputs with Moore type. The conducted investigations show that the proposed method allows for reducing the resulting ASIC area from 10% to 26%. The gain increases with the growth of the automaton complexity. Conclusions. A comparison of the proposed method with some known synthesis methods shows that the expansion of the matrix of terms for systems of input memory functions and output functions allows reducing the chip area occupied by the circuit of the combined automaton. Keywords: combined automaton, ASIC, synthesis, state encoding, matrix circuit.

scholarly journals Cascade Products of Stochastic Automata

2021 ◽  
Vol 20 ◽  
pp. 168-175
Author(s):  
Merve Nur Cakir ◽  
Mehwish Saleemi ◽  
Karl-Heinz Zimmermann
Keyword(s):  
Stochastic Automata ◽  
Mild Conditions ◽  
Mealy Automata ◽  
Moore Automata ◽  
General Stochastic

Stochastic Moore automata have in opposition to stochastic Mealy automata the same capabilities as general stochastic automata, but have the advantage that they are easier to access than their pure stochastic counterparts. Cascade decomposition of automata leads to a loop-free partitioning and in this way contributes to the analysis of automata. This paper shows that stochastic Moore automata can be decomposed into cascade products of stochastic Moore automata under mild conditions

Sign in / Sign up

Export Citation Format

Share Document