Dale Robert Comstock

• An operator scheme for computation with Turing machines