Implementing Deterministic Finite State Machines using Guard-Stage-Milestone.

Mike A. Marin Hugo Lotriet John A. van der Poll

Published in: SAICSIT (2016)

Keyphrases

finite state machines
model checking
finite state automata
digital circuits
hidden markov models
database
efficient implementation
regular expressions
black box
data model
business intelligence
pattern matching