Synthesis of Moore Finite State Machines Based on Pseudoequivalent States.

Alexander Barkalov Slawomir Chmielewski Larysa Titarenko

Published in: PDeS (2013)

Keyphrases

finite state machines
state transition
model checking
finite state automata
functional decomposition
hidden markov models
regular expressions
program synthesis
black box
digital circuits
high level
query evaluation
structured data
state transitions
autoepistemic logic
query processing
keywords