Describir: Príspevky k algebraickej teórii automatov :