Describir: Generovanie náhodných automatov pre pedagogické účely