|
104 1) вх 2) О в 3) о о * вых *• вых Рисунок 3.4. Построение алгоритма задачи в форме графа Бержа • 1) 5) элементы графа, соответствующие логическим действиям; 6) граф Бержа как объединение элементов Поскольку на уровне алгоритма задачи все задачи рассматриваем изолированно, то неизвестную (с точки зрения рассматриваемой задачи) вершину графа другой задачи, из которой исходит дуга, входящая в вершину «1», условимся обозначать вх. Также условимся неизвестную вершину графа другой какой-то задачи, в которую будет входить дуга, исходящая из «нашей» вершины «2», обозначать всегда вых. Вх и вых надписываются над «зависающими» дугами графа алгоритмизуемой задачи, как на рисунке 3.4, и в дальнейшем (на этапе синтеза) послужат для соединения алгоритмов задач друг с другом. Г. Полученные элементы графа объединяются в граф Бержа, изображающий в обычной форме алгоритм задачи, как показано на рисунке 3.4. Если записать эту форму символически, то получим л 2 2 ф”1"Ф"3”"2"яТсо1 где 1 изменение достигнуто , и тогда задача решена, Я = 0 изменение не достигнуто, переход обратно к "3й; |
107 Поскольку на уровне алгоритма задачи все задачи рассматриваем изолированно, то неизвестную (с точки зрения рассматриваемой задачи) вершину графа другой задачи, из которой исходит дуга, входящая в вершину «1», условимся обозначать вх. Также условимся неизвестную вершину графа другой какой-то задачи, в которую будет входить дуга, исходящая из «нашей» вершины «2», обозначать всегда вых. $х и вых надписываются над «зависающими» дугами графа алгоритмизуемой задачи, как на рисунке 3.4, и в дальнейшем (на этапе синтеза) послужат для соединения алгоритмов задач друг с другом. Г. Полученные элементы графа объединяются в граф Бержа, изображающий в обычной форме алгоритм задачи, как показано на рисунке 3.4. Если записать эту форму символически, то получим 1 2 2 1 Ф,Т"Ф"з""2"Ч1ч©4, где 1 \\изменение достигнуто , и тогда задача решена, С[ = <( [0 изменение не достигнуто, переход обратно к "3 {о всегда тождественно ложное условие, символизирующее возвращение в исходное состояние (т.е. прекращение работы). 2. Перечисление реализаций алгоритма. Алгоритм является вероятностным, если в его графе имеется хотя бы одно разветвление (т.е. из одной вершины выходит более одной дуги в другие вершины). Вершину, служащую началом разветвления, принято рассматривать как логический оператор, коI торый принимает значения, имеющие смысл частоты исходящих дуг. Однако непосредственно из графа алгоритма, построенного в предыдущей операции, не следует никакой информации о частоте исходящих дуг. Такую информацию можно получить, основываясь на том очевидном обстоятельстве, что частота есть функция исходов опыта. Но исходы опыта можно перечислить априори как возможные реализации общего алгоритма, полученные по комбинациям логических действий. |