Что такое недетерминированный конечный автомат: объяснение понятия