• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On Equivalence Checking of Nondeterministic Finite Automata.

Chen FuYuxin DengDavid N. JansenLijun 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