Login / Signup

Comparison of LTL to Deterministic Rabin Automata Translators.

Frantisek BlahoudekMojmír KretínskýJan Strejcek
Published in: LPAR (2013)
Keyphrases
  • deterministic automata
  • finite automata
  • cellular automata
  • information systems
  • machine translation
  • finite state automaton
  • information retrieval
  • inference rules
  • turing machine
  • probabilistic automata