CS 3133, A Term 1998
Foundations of Computer Science
Example
This page is located at http://www.cs.wpi.edu/~alvarez/CS3133/insertblanks.html
A Turing machine that inserts a blank (B) between each pair of consecutive input symbols