William Tune

Learn More
We study finite state transduction of automatic and morphic sequences. Dekking [4] proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in the proof to show that non-erasing transductions preserve a condition called α-substitutivity. Roughly, a sequence(More)
  • 1