Синтез компьютерных обучающих систем на основе автоматных моделейтезисы доклада