Вычислимые формы - это данные
Распространение понятия данных на бесконечные, рекурсивно-вычислимые множества
Минимальный набор обозначений, к которым можно свести все вычислимые формулы системы, носит название
Типовые выражения, представляют собой
Выбор произвольного элемента из списка с помощью рекурсивного выражения
С помощью рекурсивного выражения определенного вида возможно произвести
Многие выражения по смыслу используемых в них операций иногда определены при
Управление обработкой структур, представляющих вычисляемые выражения, производят
