Describir: Algebraická teorie automatů /