On Equivalence Checking of Nondeterministic Finite Automata.

Chen Fu Yuxin Deng David N. Jansen Lijun Zhang

Published in: SETTA (2017)

Keyphrases

finite automata
probabilistic automata
regular expressions
deterministic automata
grammatical inference
regular languages
hidden markov models
finite automaton
tree automata
database
high level
high throughput