|
gptkbp:instanceOf
|
gptkb:Technical_Machine
gptkb:Mathematical_model
|
|
gptkbp:allows
|
Probabilistic language
|
|
gptkbp:describedBy
|
gptkb:Michael_O._Rabin
|
|
gptkbp:field
|
gptkb:Probability_theory
gptkb:Automata_theory
gptkb:Theoretical_computer_science
|
|
gptkbp:generalizes
|
gptkb:Nondeterministic_finite_automaton
gptkb:Deterministic_finite_automaton
|
|
gptkbp:hasFinalStates
|
Subset of states
|
|
gptkbp:hasInitialState
|
gptkb:state_order
|
|
gptkbp:hasInputAlphabet
|
Finite set
|
|
gptkbp:hasTransitionFunction
|
gptkb:Probability_distribution
|
|
gptkbp:includesState
|
Finite set
|
|
gptkbp:introducedIn
|
1963
|
|
gptkbp:relatedTo
|
gptkb:stochastic_process
gptkb:Hidden_Markov_model
gptkb:Markov_chain
|
|
gptkbp:sumOfTransitionProbabilities
|
1
|
|
gptkbp:transitionDependsOn
|
Current state
Input symbol
|
|
gptkbp:transitionProbability
|
[0,1]
|
|
gptkbp:usedFor
|
Speech recognition
Pattern recognition
Modeling random processes
|
|
gptkbp:bfsParent
|
gptkb:PRISM_model_checker
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Probabilistic automata
|