А.В. Анисивов

Описываются рекурсивные преобразователи информации, относящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем - рекурсивные программы, вычислительные устройства, различные иерархические управляющие системы. Излагаются виды рекурсивного взаимодействия; проблемы разрешимости алгоритмов; недетерминизс в задании программ; преобразование рекурсии в более...