Login / Signup

Transducing reversibly with finite state machines.

Martin KutribAndreas MalcherMatthias Wendlandt
Published in: Theor. Comput. Sci. (2019)
Keyphrases
  • finite state machines
  • model checking
  • state machine
  • regular expressions
  • state transition
  • finite state automata
  • digital circuits
  • hidden markov models
  • domain knowledge