An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata
Sergio GiroPublished in: CoRR (2010)
Keyphrases
- finite automata
- probability function
- probability theory
- deterministic automata
- grammatical inference
- regular expressions
- probabilistic automata
- conditional probabilities
- posterior probability
- tree automata
- bayesian networks
- hidden markov models
- probability distribution
- probabilistic model
- matching algorithm
- regular languages
- finite automaton
- database
- belief functions
- prior probabilities
- knowledge representation
- xml documents