ОСНОВЕ МОРФОЛОГИЧЕСКОГО АНАЛИЗА
ПРИМЕРОВ РЕШЕНИЙ ЗАДАЧ
Автор: Дмитрий Анатольевич Гуторов
Аннотация:
В статье рассмотрен метод синтеза алгоритмов на основе
анализа нескольких примеров. Производится морфологический
анализ примеров задач и последующее порождение типологии,
содержащей новые постановки задач. Производится декомпо-
зиция решений примеров и последующий синтез алгоритмов для
задач из типолгоии. В качестве метода формального пред-
ставления постановок задач и алгоримтов применяются ак-
сиоматические теории.
Ключевые слова:
алгоритм, синтез, морфологический анализ,
типология, аксиоматическая теория