Cтраница 1
Вхождение оператора А линейной программы назовем избыточным, если среди предшествующих ему имеется еще одно вхождение этого оператора, причем левые части всех операторов, находящихся между двумя этими вхождениями, а также левая часть самого оператора А не встречаются в правой части оператора А. Например, второе вхождение оператора х: у z в линейной программе х: у - - г; и: и - г; х: у г избыточно. [1]
Вхождение оператора А в линейную программу называется несущественным, если среди следующих после него операторов имеется еще одно вхождение оператора, скажем В, с той же переменной-левой частью, что и у Л, причем эта переменная не встречается в правой части ни одного из операторов, находящихся между Л и В. U - - V в линейную программу x: u - - v; u: u y; х: у - и несущественное. [2]
Уменьшение времени поиска вхождений операторов в таблице спусковых функций может быть достигнуто несколькими путями [42]: введением параллельного доступа к нескольким спусковым функциям или к нескольким элементам спусковых функций, что может быть осуществлено разделением таблицы на параллельно доступные части; использованием дополнительной управляющей информации, например введением перечня операторов-преемников для каждого оператора; использованием аппаратурных средств ассоциативной обработки информации. Последний путь оказывается наиболее эффективным с точки зрения уменьшения потерь времени на распараллеливание. [3]
В результате упрощения ЛСА уменьшается число вхождений повторяющихся операторов и логических условий, что приводит к сокращению общего числа членов ЛСА. Однако иногда необходимо вводить дополнительные члены ЛСА в виде многозначных логических условий ( k, r, I), что требует соответственно введения функциональных блоков, реализующих эти дополнительные логические условия в устройстве, действие которого описано ЛСА. Однако при этом добавляется дешифратор на т входов и п выходов. [4]
Целесообразность упрощения алгоритма с целью уменьшения числа вхождений повторяющихся операторов и логических условий должна решаться путем технико-экономического сравнения устройств, реализующих упрощенные и неупрощенные алгоритмы. [5]
Под упрощением ЛСА понимают сокращение числа членов ЛСА путем уменьшения числа вхождений повторяющихся операторов Л или логических условий PJ) за счет их объединений. [6]
Вхождение оператора А в линейную программу называется несущественным, если среди следующих после него операторов имеется еще одно вхождение оператора, скажем В, с той же переменной-левой частью, что и у Л, причем эта переменная не встречается в правой части ни одного из операторов, находящихся между Л и В. U - - V в линейную программу x: u - - v; u: u y; х: у - и несущественное. [7]
Ряд результатов, относящихся к минимизации числа состояний, был получен [98, 99], а в [100, 101] методы минимизации автоматов применены для минимизации числа вхождений операторов в выражениях, записанных на языке логических схем алгоритмов. В [ 102 - 1031 разработаны методы упрощения выражений, записанных на языке логических схем алгоритмов, за счет объединения совместимых операторов и учета неиспользуемых наборов логических условий. [8]
Вхождение оператора А линейной программы назовем избыточным, если среди предшествующих ему имеется еще одно вхождение этого оператора, причем левые части всех операторов, находящихся между двумя этими вхождениями, а также левая часть самого оператора А не встречаются в правой части оператора А. Например, второе вхождение оператора х: у z в линейной программе х: у - - г; и: и - г; х: у г избыточно. [9]
Теорема 4.7. Существует алгоритм для распознавания замкнутости произвольного оператора а е А произвольной счет чиковой свободной схемы У. Для замкнутого оператора эффективно находится максимальное количество вхождений оператора а в произвольное вычисление схемы У. [10]
Далее, всякое предложение, содержащее п 1 вхождений логических операторов, является либо отрицанием предложения, содержащего п таких вхождений, либо дизъюнкцией двух предложений, каждое из которых содержит не более п таких вхождений, либо получено операцией навешивания квантора общности из формулы, содержащей п таких вхождений. Кроме того, если F - формула, содержащая п вхождений операторов, то любое предложение, полученное из F подстановкой нумерала m вместо свободных вхождений переменных в F, также содержит п вхождений операторов. [11]
Проблемы распознавания свойств несвободных счетчиковых схем, по-видимому, в большинстве случаев неразрешимы, поскольку приходится учитывать повторение значений выходных ячеек операторов. Однако для строго ограниченных схем эта информация может быть закодирована конечным множеством компонент системы векторного сложения, поскольку ограничено количество вхождений операторов в вычислении. [12]
Далее, всякое предложение, содержащее п 1 вхождений логических операторов, является либо отрицанием предложения, содержащего п таких вхождений, либо дизъюнкцией двух предложений, каждое из которых содержит не более п таких вхождений, либо получено операцией навешивания квантора общности из формулы, содержащей п таких вхождений. Кроме того, если F - формула, содержащая п вхождений операторов, то любое предложение, полученное из F подстановкой нумерала m вместо свободных вхождений переменных в F, также содержит п вхождений операторов. [13]
Группа представляет собой последовательность операторов, ограниченных парой DO и END. Операторы объединяются в группу, как правило, при программировании, циклических и разветвляющихся процессов. Набор операторов, образующих группу, рассматривается как единое целое. В программе группа может быть записана в любом контексте, в котором допускается вхождение оператора. [14]
Группр, представляет собой последовательность операторов, ограниченную парой DO и END. Операторы объединяются в группу, как правило, при программировании циклических и разветвляющихся процессов. Набор операторов, образующих группу, рассмат-ривается как единое целое. В прогр амме группа может быть записана в любом контексте, в котором допускается вхождение оператора. [15]