Введение в теорию программирования. Функциональный подход



             

Задание


Сформулируйте формальную постановку задачи, запишите правила вывода и реализуйте программу на SML в соответствии с вариантом исполнения. В качестве целевого типа взять бинарное дерево вида:

tree = Nil | Atom of string | Comb of tree * tree;




Содержание  Назад  Вперед