Origin-Equivalence of Two-Way Word Transducers Is in PSPACE.

Sougata Bose Anca Muscholl Vincent Penelle Gabriele Puppis

Published in: FSTTCS (2018)

Keyphrases

temporal logic
co occurrence
finite automata
finite state automata
database
sentence level
word pairs
decision procedures
complexity bounds
microsoft word
mazurkiewicz traces