В первом разделе данной работы вводится параллельная схема программы и определяются некоторые ее свойства, исследуемые ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск13
В первом разделе данной работы вводится параллельная схема программы и определяются некоторые ее свойства, исследуемые в дальнейшем. Во втором разделе даются необходимые и достаточные условия однозначности схем некоторого определенного подкласса. В третьем разделе приводятся некоторые технические результаты, относящиеся к префиксам вычислительных процессов. В четвертом разделе исследуется класс так называемых счетчиковых схем и даются алгоритмы распознавания таких свойств этих схем как однозначность, ограниченность, свобода, замкнутость. Эти результаты получены посредством сведения данных проблем к некоторым разрешимым проблемам векторной алгебры. Установлена также неразрешимость проблемы эквивалентности в некотором подклассе схем. Этот результат, как и аналогичный результат работы [7] о неразрешимости, существенно использует память, состоящую более чем из одной ячейки. В то же время при монолитной памяти, как это имеет место для схем Янова, проблема эквивалентности разрешима. В пятом разделе, посредством сужения класса счетчиковых схем, определяется понятие параллельной операторной схемы. Параллельные операторные схемы можно рассматривать как обобщение последовательных операторных схем, приспособленное для представления параллельных вычислений. Для этих схем проблема эквивалентности оказывается разрешимой.
![В первом разделе данной работы вводится параллельная схема программы и определяются некоторые ее свойства, исследуемые в дальнейшем. Во втором разделе даются необходимые и достаточные условия однозначности схем некоторого определенного подкласса. В третьем разделе приводятся некоторые технические результаты, относящиеся к префиксам вычислительных процессов. В четвертом разделе исследуется класс так называемых счетчиковых схем и даются алгоритмы распознавания таких свойств этих схем как однозначность, ограниченность, свобода, замкнутость. Эти результаты получены посредством сведения данных проблем к некоторым разрешимым проблемам векторной алгебры. Установлена также неразрешимость проблемы эквивалентности в некотором подклассе схем. Этот результат, как и аналогичный результат работы [7] о неразрешимости, существенно использует память, состоящую более чем из одной ячейки. В то же время при монолитной памяти, как это имеет место для схем Янова, проблема эквивалентности разрешима. В пятом разделе, посредством сужения класса счетчиковых схем, определяется понятие параллельной операторной схемы. Параллельные операторные схемы можно рассматривать как обобщение последовательных операторных схем, приспособленное для представления параллельных вычислений. Для этих схем проблема эквивалентности оказывается разрешимой.](/pic/56971657Cxwkqe0049185079.png)