Minimization of incompletely specified finite state machines based on distinction graphs.

Alex D. B. Alberto Adenilso Simão

Published in: LATW (2009)

Keyphrases

finite state machines
finite state automata
model checking
objective function
directed graph
regular expressions
graph databases
digital circuits
graph matching
graph representation
graph theory
bipartite graph
weighted graph
graph mining
graph model
domain knowledge
knowledge base