Граф детерминированного конечного автомата: визуализация и примеры