Алгебраическая теория конечных автоматов: визуализация и объяснение