Iterative minimization of partial finite state machines.

Alex D. B. Alberto Adenilso Simão

Published in: Central Eur. J. Comput. Sci. (2013)

Keyphrases

finite state machines
finite state automata
model checking
reweighted least squares
regular expressions
digital circuits
objective function
database
neural network
hidden markov models
metadata
domain knowledge
pattern matching