Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Technical Machine
|
gptkbp:contrastsWith |
gptkb:Moore_Machine
|
gptkbp:dependsOn |
current input
current state |
gptkbp:describedBy |
"A Method for Synthesizing Sequential Circuits"
|
gptkbp:hasApplication |
control systems
parsing protocol design modeling reactive systems |
gptkbp:hasInitialState |
initial state
|
gptkbp:hasInputAlphabet |
input alphabet
|
gptkbp:hasOutputAlphabet |
output alphabet
|
gptkbp:hasOutputFunction |
output function
|
gptkbp:hasStates |
set of states
|
gptkbp:hasTransitionFunction |
transition function
|
https://www.w3.org/2000/01/rdf-schema#label |
Mealy Machine
|
gptkbp:introducedIn |
1955
|
gptkbp:namedAfter |
gptkb:George_H._Mealy
|
gptkbp:usedIn |
automata theory
digital circuit design sequential logic |
gptkbp:bfsParent |
gptkb:Finite_State_Transducer
|
gptkbp:bfsLayer |
8
|