Assertion: probabilistic automaton | /r/CapableOf | replace matrix
Facets:
value: by a family of stochastic matrices
type: OTHER
value: for σ
type: OTHER
Source sentences:
text: The probabilistic automaton replaces these matrices by a family of stochastic matrices P a {\displaystyle P_{a}} , for each symbol a in the alphabet Σ {\displaystyle \Sigma } so that the probability of a transition is given by