4 citations · 5 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021★ 1 cited
On polynomial grammars extended with substitution
Janusz Schmude
We investigate decidability of equivalence of register transducers, also called copyful Streaming String Transducers in case of string input, extended with an operation of substitu…
cs.FL2018★ 4 cited
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
Adrien Boiret, Radosław Piórkowski, Janusz Schmude
In the past decades, classical results from algebra, including Hilbert's Basis Theorem, had various applications in formal languages, including a proof of the Ehrenfeucht Conjectur…