Preservation Theorems for Transducer Outputs

Valérie Berthé, Herman Goulet-Ouellet, Toghrul Karimov +2

Suppose we have a deterministic finite-state transducer $A$ and an infinite word $x$, and run $A$ on $x$ to obtain an infinite word $A(x)$. Which properties of $x$ are guaranteed t…