A Geometrical View of the Determinization and Minimization of Finite-State Automata.

Bruno Courcelle Damian Niwinski Andreas Podelski

Published in: Math. Syst. Theory (1991)

Keyphrases

finite state automata
finite state machines
hybrid automata
objective function
database
database systems
knowledge based systems
model checking