Single Function Machines Algebra