Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.

Filippo Bonchi Ana Sokolova Valeria Vignudelli

Published in: CoRR (2018)

Keyphrases

probabilistic automata
finite automata
grammatical inference
finite state automata
regular expressions
relative entropy
markov chain
sound theoretical
semantic information
object oriented
matching algorithm
regular languages