3. КоФ: Комбинированная форма вербального текста: ИнПрПоФ

1. Ги: Горизонтальное исполнение

АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст

ШТА 4.5: Шаблон текста алгоритма

ИнФ: Инфиксная форма

A022 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) V (Z2 - (Z6 & (Z7 - Z2))))) =

= (Z2 - (((Z3 #& (Z1 - (Z5 #& Z4))) - Z1) #V (Z2 - (Z6 #& (Z7 - Z2)))))

ИнПрПоФ: Инфикcно-префиксно-постфиксная форма

A022 = (Z2 - (((Z3 #& (Z1 - #(Z5,Z4)&)) - Z1) #V (Z2 - (Z6 #& (Z7 - Z2)))))

A022 = (Z2 - ((#(Z3,(Z1 - #(Z5,Z4)&))& - Z1) #V (Z2 - (Z6 #& (Z7 - Z2)))))

A022 = (Z2 - ((#(Z3,(Z1 - #(Z5,Z4)&))& - Z1) #V (Z2 - #(Z6,(Z7 - Z2))&)))

A022 = (Z2 - #((#(Z3,(Z1 - #(Z5,Z4)&))& - Z1),(Z2 - #(Z6,(Z7 - Z2))&))V)

ТА4.3: Рабочий текст алгоритма // замены обозначений

Исходная форма – строго соответственно шаблону

АлгПТ: Алгол-подобный текст

alg A022: begin Z2; parbegin begin parbegin Z3, begin Z1; parbegin Z5, Z4 parend_and end parend_and; Z1 end, begin Z2; parbegin Z6, begin Z7; Z2 end parend_and end parend_or end

ПасПТ: Паскаль-подобный текст

alg A022: begin Z2; cobegin begin cobegin Z3, begin Z1; cobegin Z5, Z4 coend_and end coend_and; Z1 end, begin Z2; cobegin Z6, begin Z7; Z2 end coend_and end coend_or end

Допустимые сокращения – в ориентации на классические аналоги:

АлгПТ: Алгол-подобный текст // parend_and = parend

alg A022: begin Z2; parbegin begin parbegin Z3, begin Z1; parbegin Z5, Z4 parend end parend; Z1 end, begin Z2; parbegin Z6, begin Z7; Z2 end parend end parend_or end

ПасПТ: Паскаль-подобный текст //coend_and=coend

2. Alg a022: begin z2; cobegin begin cobegin z3, begin z1; cobegin z5, z4 coend end coend; z1 end, begin z2; cobegin z6, begin z7; z2 end coend end coend_or end

3. Ви: Вертикальное исполнение

АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст

A022 = (Z2 - #((#(Z3,(Z1 - #(Z5,Z4)&))& -Z1),(Z2 - #(Z6,(Z7 -Z2))&))V)

ВТА

4.8: Вербальный текст алгоритма

РТА: Рабочий текст
1	2	3	4
A022 = ( Z2 - # ( ( # ( Z3 , ( Z1 - # ( Z5 , Z4 ) & ) ) & - Z1 ) , ( Z2 - # ( Z6 , ( Z7 - Z2 ) ) & ) ) $ )	A022= ( Z2- #( ( #( Z3, ( Z1- #( Z5, Z4 )& ) )&- Z1 ), ( Z2- #( Z6, ( Z7- Z2 ) )& ) )$ )	A022: ( | Z2- | #( | | ( | | | #( | | | | Z3, | | | | ( | | | | | Z1- | | | | | #( | | | | | | Z5, | | | | | | Z4 | | | | | )& | | | | ) | | | )&- | | | Z1 | | ), | | ( | | | Z2- | | | #( | | | | Z6, | | | | ( | | | | | Z7- | | | | | Z2 | | | | ) | | | )& | | ) | )$ )	alg A022: begin Z2; parbegin //cobegin begin parbegin //cobegin Z3, begin Z1; parbegin //cobegin Z5, Z4 parend //coend end parend; //coend Z1 end, begin Z2; parbegin //cobegin Z6, begin Z7; Z2 end parend //coend end parend_or //coend or end

ВТА 4.9: Вербальный текст алгоритма // Дополнение к A022 = (Z2 - #((#(Z3,(Z1 - #(Z5,Z4)&))& - Z1),(Z2 - #(Z6,(Z7 - Z2))&))V)

Подстановка функций команд (операторы присваивания)

РТА: Рабочий текст алгоритма
6	7
alg A602: begin Z2:Y2 := F2(X2); parbegin parbegin parbegin begin parbegin begin Z0:Y0 := F0(X0); Z2:Y2 := F2(X2) end, Z1:Y1 := F1(X1) parend; Z0:Y0 := F0(X0) end, Z8:Y8 := F8(X8) parend, begin Z3:Y3 := F3(X3); Z5:Y5 := F5(X5) end parend_or, begin Z7:Y7 := F7(X7); Z4:Y4 := F4(X4) end parend end	alg A022: begin Y2 := F2(X2); parbegin begin parbegin Y3 := F3(X3), begin Y1 := F1(X1); parbegin Y5 := F5(X5), Y4 := F4(X4) parend end parend; Y1 := F1(X1) end, begin Y2 := F2(X2); parbegin Y6 := F6(X6), begin Y7 := F7(X7); Y2 := F2(X2) end parend end parend_or end