Specification Translation of State Machines from Equational Theories into Rewrite Theories.

Min Zhang Kazuhiro Ogata Masaki Nakamura

Published in: ICFEM (2010)

Keyphrases

state machines
equational theories
state machine
petri net
recurrent networks
theorem proving
sequence diagrams
reactive systems
fault tolerant
machine learning
finite state machines
learning algorithm
database systems
recurrent neural networks
function symbols