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