16 citations · 69 across the 23 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022
Mechanical proving with Walnut for squares and cubes in partial words
John Machacek
Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as wel…
cs.FL2016
Deleting Powers in Words
John Machacek
We consider the language consisting of all words such that it is possible to obtain the empty word by iteratively deleting powers. It turns out that in the case of deleting squares…