small retouches to examples and output operator of TMProgram
edited copy