Language Equivalence for Probabilistic Automata.

Stefan Kiefer Andrzej S. Murawski Joël Ouaknine Björn Wachter James Worrell

Published in: CAV (2011)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
regular languages
finite state automata
sound theoretical
learning algorithm
database systems
multi class
language learning