Login / Signup
The Role of Prime Compatibles in the Minimization of Finite State Machines.
June-Kyung Rho
Fabio Somenzi
Published in:
ICCD (1992)
Keyphrases
</>
finite state machines
model checking
finite state automata
regular expressions
databases
digital circuits
objective function
data sets
hidden markov models
regular languages
pattern matching
mutation testing