Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
Кратко охарактеризована алгебра алгоритмики и ее прототипов. Демонстрируется трансформационная сводимость структурной схемы алгоритма к неструктурной посредством инструментария трансформации схем алгоритмов и программ.
The brief characteristics of algebra algorithmics and its prototypes is given. Transformational reduceness of structural schema of algorithm to nonstructural using the toolkit for transformation of schemas of algorithms and programs is demonstrated.
The brief characteristics of algebra algorithmics and its prototypes is given. Transformational reduceness of structural schema of algorithm to nonstructural using the toolkit for transformation of schemas of algorithms and programs is demonstrated.
Опис
Теми
Формальні методи програмування
Цитування
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ / А.С. Мохница // Пробл. програмув. — 2008. — N 2-3. — С. 341-347. — Бібліогр.: 13 назв. — рус.