Login / Signup
Regular Resynchronizability of Origin Transducers Is Undecidable.
Denis Kuperberg
Jan Martens
Published in:
MFCS (2020)
Keyphrases
</>
sufficient conditions
finite automata
np complete
objective function
preprocessing
expert systems
datalog programs