Login / Signup

A heuristic algorithm for the minimization of incompletely specified finite state machines.

Imtiaz AhmadA. Shoba Das
Published in: Comput. Electr. Eng. (2001)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • regular expressions
  • digital circuits
  • objective function
  • hidden markov models
  • data management
  • regularization term
  • databases
  • functional decomposition