Describir: Pologrupy a automaty :