Технологически ориентированное проектирование алгоритмов и программ

Abstract

Рассмотрены теоретические аспекты автоматизированного проектирования алгоритмов и программ, базовой моделью которых являются рекурсивные автоматы с программируемой логикой. В качестве инструментальных средств проектирования используются алгоритмические алгебры.

Розглянуто теоретичні аспекти автоматизованого проектування алгоритмів і програм, базовою моделлю яких є рекурсивні автомати з програмованою логікою. Як інструментальні засоби проектування використовуються алгоритмічні алгебри.

A new approach to designing algorithms and programs using its structural properties represented in recursive form is presented. As tool of designing algorithmic algebra’s are used.