A type Turing machine selects the transition table by the type ID. The table is unique, allows a fractal deconstruction. Existing programming models are not fractal. [They are] very different in the large. ... [p. 1999-04-15] Can we always divide a program in half? ... Can always break up [a program] and every Turing machine has a short description.