gptkbp:instanceOf
|
Technical Machine
|
gptkbp:category
|
gptkb:Theoretical_computer_science
Automata
|
gptkbp:contrastsWith
|
gptkb:Mealy_Machine
|
gptkbp:distinctFrom
|
Mealy Machine outputs depend on state and input
|
gptkbp:hasApplication
|
Control systems
Text processing
Protocol design
Sequence detectors
|
gptkbp:hasFormalDefinition
|
6-tuple (Q, Σ, Δ, δ, λ, q0)
|
gptkbp:hasInitialState
|
q0
|
gptkbp:hasInputAlphabet
|
Finite input alphabet
|
gptkbp:hasOutputAlphabet
|
Finite output alphabet
|
gptkbp:hasOutputFunction
|
Output depends only on current state
Output function maps state to output
|
gptkbp:hasStateSet
|
Finite set of states
|
gptkbp:hasTransitionFunction
|
Transition function maps state and input to next state
|
gptkbp:hasTransitionTable
|
Yes
|
https://www.w3.org/2000/01/rdf-schema#label
|
Moore Machine
|
gptkbp:introducedIn
|
1956
|
gptkbp:isDeterministic
|
Yes
|
gptkbp:namedAfter
|
gptkb:Edward_F._Moore
|
gptkbp:usedIn
|
gptkb:Automata_theory
Digital circuit design
|
gptkbp:bfsParent
|
gptkb:Finite_State_Transducer
|
gptkbp:bfsLayer
|
8
|