A Computation Model with Automatic Functions and Relations as Primitive Operations

Ziyuan Gao, Sanjay Jain, Li Zeyong +2

Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd and Knuth (Floyd and Knuth, 1990) investigated what happens if a device uses primitive steps more natural th…