Login / Signup

Regular Resynchronizability of Origin Transducers Is Undecidable.

Denis KuperbergJan Martens
Published in: MFCS (2020)
Keyphrases
  • sufficient conditions
  • finite automata
  • np complete
  • objective function
  • preprocessing
  • expert systems
  • datalog programs