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