Реалізоване красиве відображення переходів графа автомата