Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.

Paul C. Bell Pavel Semukhin

Published in: CONCUR (2020)

Keyphrases

finite automata
probability function
probabilistic automata
deterministic automata
regular expressions
grammatical inference
tree automata
probabilistic model
bayesian networks
finite automaton
information theoretic
description logics
hidden markov models
input data
query answering
regular languages
database