Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Technical Machine
|
| gptkbp:contrastsWith |
gptkb:Mealy_machine
|
| gptkbp:describedBy |
1956 paper by Edward F. Moore
|
| gptkbp:hasApplication |
control systems
pattern recognition protocol design sequential circuit design |
| gptkbp:hasInitialState |
one state
|
| gptkbp:hasInputAlphabet |
finite set
|
| gptkbp:hasOutputAlphabet |
finite set
|
| gptkbp:hasOutputAt |
gptkb:state_order
|
| gptkbp:hasOutputFunction |
output depends only on current state
|
| gptkbp:hasOutputTable |
output table
|
| gptkbp:hasStates |
finite set
|
| gptkbp:hasStateTransitionFunction |
state transitions depend on input and current state
|
| gptkbp:hasTransitionTable |
state transition table
|
| https://www.w3.org/2000/01/rdf-schema#label |
Moore machine
|
| gptkbp:isDeterministic |
true
|
| gptkbp:namedAfter |
gptkb:Edward_F._Moore
|
| gptkbp:usedIn |
automata theory
digital logic design |
| gptkbp:bfsParent |
gptkb:Technical_Machine
|
| gptkbp:bfsLayer |
4
|