Minimization of Finite State Machines using Spreadsheet.

Mahmoud A. Manzoul

Published in: CAINE (2002)

Keyphrases

finite state machines
model checking
finite state automata
microsoft excel
objective function
regular expressions
digital circuits
neural network
hidden markov models
mutation testing
data sets