Генерация（нет;-)）ипроверказаданийпоалгоритмическимструктурамприпомощилогическоговывода Приближение1.Алгоритмическиеструктурыитрассапошаговогоисполненияпрограммы（算法结构和逐步执行程序的痕迹） 算法执行轨迹的构建和学生轨迹验证 现状：概念验证原型。 Задача ：поданномуалгоритмуифрагментутрассына