Практичне заняття №7 Синтез абстрактного автомата МіЛі