Describir: Regular algebra and finite machines