Процедуры с планированием повторного входа
Процедуры с планированием повторного входа (reenterable) — особый класс процедурных алгоритмических конструкций, отличительной особенностью которых является наличие стандартного интерфейса программирования, включающего вариативный список параметров и план исполнения, отражающий предполагаемую последовательность этапов выполнения. К интерфейсу также относятся операции над планом, а именно включение этапов в начало, конец или даже по индексу. Процедуры с планированием повторного входа (ПППВ) относятся к базовым алгоритмическим конструкциям, для которых доказана формальная полнота, заключающаяся в их самодостаточности для реализации любых иных управляющих механизмов (ветвления, цикла, простого вызова или рекурсии). В алгоритмических языках реализация ПППВ тривиальна и сводится ко вводу нескольких ключевых слов, как отмечено в первичной работе [1] и далее подробно рассмотрено в работе [2]. В некоторых функциональных языках (класса ЛИСП) полноценная реализация параллельных ПППВ требует ввода «ленивых» переменных (или каналов [1]), что помимо всего прочего, замыкает возможность описания произвольных управляющих конструкций путем применения ПППВ и в таких языках. Теоретической базой ПППВ являются расширенные машины Тьюринга (РМТ, реализуемые в виде предельных реальных параллельных объектно-событийных моделей. В настоящее время известна единственная рабочая реализация расширения C++ (в рамках языка программирования Planning C [3]) для данного вида процедур [1].
Источники[править]
- ↑ www.pekunov.byethost31.com/Progs.htm
Литература[править]
- Пекунов В. В. Процедуры с планированием повторного входа в языках высокого уровня при традиционном и параллельном программировании // Информационные технологии.- 2009. — № 8. — С.63-67.
- Пекунов В. В. Теория объектно-событийных моделей. Индукция, моделирование и синтез последовательных и параллельных программ. — LAP LAMBERT Academic Publishing, 2012. — 132 с. — ISBN 978-3-8484-4104-4.
- Пекунов В. В. Язык программирования Planning C. Инструментальные средства. Новые подходы к обучению нейронных сетей. - LAP LAMBERT Academic Publishing, 2017. - 171 с. — ISBN 978-620-2-06539-9.