Regular Algebra and Finite Machines