Pushing undecidability of the isolation problem for probabilistic automata

Nathanaël Fijalkow Hugo Gimbert Youssouf Oualhadj

Published in: CoRR (2011)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
description logics
finite state automata
sound theoretical
database systems
face recognition
mutual information
learning theory
grammatical inference