Алгоритмы проверки эквивалентности недетерминированных конечных автоматовкурсовая работа (Бакалавр)