Is this just a register machine? If so, what is the best formalization of the mathematical model (in terms of research papers or books) which is freely available? Or better yet, what is the mathematical model listed explicitly here? If not, what is it?
Wondering if there is anything that models this sort of system using states and such. Wondering what the relation is to a FSM, and how to translate one to the other if possible, or at least relate them.