Реализация модели не детерминированного конечного автомата