Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Technical_Machine
|
| gptkbp:contrastsWith |
gptkb:Moore_machine
|
| gptkbp:dependsOn |
current input
current state |
| gptkbp:hasApplication |
control systems
parsing protocol design modeling sequential circuits |
| 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:Moore_machine
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mealy machine
|