Оракульное программирование в языке высокого уровня

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