Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth

Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili +1

Floyd and Knuth investigated in 1990 register machines which can add, subtract and compare integers as primitive operations. They asked whether their current bound on the number of…