Algebraic Function Machines