Минимизация конечного автомата: примеры и алгоритмы