Системы секвенций и формул перехода, страница 3

Рис. 24.2 - Подграф соответствующий формулам (24.10)

24.3 Комбинированный способ задания алгоритма

            В ряде случаев алгоритма могут представлятся в комбинированной форме. Например одна часть алгоритма может задаваться формулой перехода, а другая - системой секвенций. Используя правила перехода от одного способа задания алгоритма, возможно получение однородного (однотипного) способа представления алгоритма.

            Пусть алгоритм задан в виде двух формул перехода и секвенции:

                                 (24.4)

            Анализ способа задания показывает, что имеется в алгоритме 4 оператора Y1, Y2, Y3, Y4, начальный оператор Y0  и конечный оператор Yk.

            Построив таблицу МСА и записав по строкам в нее ФП (таб. 23.1) для Y0 и Y1 и по столбцам секвенции для Yk получим МСА.

Воспользовавшись этой МСА получим следующую систему формул перехода:

           

Если записать формулы по столбцам этой МСА, то получим систему секвенций (23.3), ранее уже рассмотренную.