1 paper · 1 filter
Jeffrey Shallit, Anatoly Zavyalov
We consider the implementation of the transduction of automatic sequences, and their generalizations, in the Walnut software for solving decision problems in combinatorics on words…