Pick your poison
Deterministic Finite State Machines
Non-Deterministic Finite State Machines
Turing machines (I/O-computing)
Turing machines (language recognizing)
While and Loop programs
Goto programs
Primitive Recursive Functions (beta)