Login / Signup
Efficient reduction of nondeterministic automata with application to language inclusion testing.
Lorenzo Clemente
Richard Mayr
Published in:
CoRR (2017)
Keyphrases
</>
finite automata
programming language
database
formal language theory
case study
finite state
formal languages
neural network
expert systems
decision support
computationally expensive
regular expressions
deterministic automata