Login / Signup

Implicit prime compatible generation for minimizing incompletely specified finite state machines.

Hiroyuki HiguchiYusuke Matsunaga
Published in: ASP-DAC (1995)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • hidden markov models
  • digital circuits
  • regular expressions
  • neural network
  • domain knowledge
  • data management
  • regular languages