Collection of automata-related algorithms for student.