Regullar algebra and finite machines - Conway J.H (1971)