Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mealy Machine
|