Transducing Reversibly with Finite State Machines.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: CIAA (2017)

Keyphrases

finite state machines
model checking
finite state automata
state machine
hidden markov models
state transition
digital circuits
regular expressions
query processing
knowledge base
relational databases
contextual information