Login / Signup
On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines.
Adam Klimowicz
Published in:
CISIM (2016)
Keyphrases
</>
finite state machines
model checking
state transition
selection criteria
high speed
regular expressions
cellular automaton
digital circuits
databases
neural network
data sources
data management
selection algorithm
evaluation criteria