Синтез автомата при недетерминированной последовательности входов презентация,