Автоматизация построений: си-подобный текст
СФА 4.2: Структурная формула алгоритма – общая для всех форм (ИнФ).
Набор формулы и добавление в список – аналогично предыдущему.
ГИ: Горизонтальное исполнение
Настройки: ИнФ / СиПТ / ГИ
ШТА 4.3: Шаблон текста алгоритма // Преобразованная формула
ВТА 4.7: Вербальный текст алгоритма
ВИ: Вертикальное исполнение
Настройки: ИнФ / АлгПТ / ГИ
ВТА 4.8: Вербальный текст алгоритма
КоФ: Комбинированная форма вербального текста: ИнПрПоФ
Ги: Горизонтальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
ШТА 4.4: Шаблон текста алгоритма
ИнФ: Инфиксная форма
А582 = (Z7 (Z1 & (Z6 (Z0&(Z3 Z6))))V(Z7 (Z4 &Z5)Z7)) =
// Явное введение знака неявной операции разделения (вилки) потоков
= (Z7 (Z1 #& (Z6 (Z0 #&(Z3 Z6)))) #V(Z7 (Z4 #&Z5)Z7)) ИнПрПоФ: Инфикcно-префиксно-постфиксная форма
// инфиксная по операции , префиксная – по #, постфиксная – по &,V($)
= #(Z7 (Z1 #& (Z6 (Z0 #&(Z3 Z6)))), (Z7 (Z4 #&Z5)Z7))V=
= #(Z7 #(Z1 , (Z6 #(Z0 , (Z3 Z6))&))&), (Z7 #(Z4 ,Z5)&Z7))V
ТЗО 4.3: Таблица замены обозначений
|
Общие замены обозначений | ||||||||||||
|
Компоненты ШТА |
Ai |
Zi |
= |
( |
) |
|
# |
& |
V | |||
|
Компоненты РТА: |
alg Ai |
Zi |
: |
begin |
end |
; |
par |
and |
or | |||
|
Специальные замены обозначений (для специальных пар знаков) | ||||||||||||
|
Компоненты ШТА |
#( |
)& |
)V | |||||||||
|
Компоненты РТА: АлгПТ: Алгол-подобный текст ПасПТ: Паскаль-подобный текст |
par begin parbegin cobegin |
end and parend_and coend_and |
end or parend_or coend_or | |||||||||
РТА4.3: Рабочий текст алгоритма // замены обозначений
Исходная форма – строго соответственно шаблону
АлгПТ: Алгол-подобный текст
alg A582: parbegin Z7 ; parbegin Z1, begin Z6 ; parbegin Z0, begin Z3 ; Z6 end parend_and end parend_and end, begin Z7 ; parbegin Z4 , Z5 parend ; Z7 end parend_or
ПасПТ: Паскаль-подобный текст
alg A582: cobegin Z7 ; cobegin Z1, begin Z6 ; cobegin Z0, begin Z3 ; Z6 end coend_and end coend_and end, begin Z7 ; cobegin Z4 , Z5 coend ; Z7 end coend_or
Допустимые сокращения – в ориентации на классические аналоги:
АлгПТ: Алгол-подобный текст
// parend_and = parend
alg A582: parbegin Z7 ; parbegin Z1, begin Z6 ; parbegin Z0, begin Z3 ; Z6 end parend end parend end, begin Z7 ; parbegin Z4 , Z5 parend ; Z7 end parend_or
ПасПТ: Паскаль-подобный текст
//coend_and=coend
alg A582: cobegin Z7 ; cobegin Z1, begin Z6 ; cobegin Z0, begin Z3 ; Z6 end coend end coend end, begin Z7 ; cobegin Z4 , Z5 coend ; Z7 end coend_or
Ви: Вертикальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
// A582= #(Z7 #(Z1 , (Z6 #(Z0 , (Z3 Z6))&))&), (Z7 #(Z4 , Z5)& Z7))V
ВТА4.9: Вербальный текст алгоритма
|
ШТА: Шаблон текста алгоритма |
РТА: Рабочий текст | ||
|
1 |
2 |
3 |
4 |
|
A582 = # ( Z7 # ( Z1, ( Z6 # ( Z0 , ( Z3 Z6 ) ) & ) ) & ) , ( Z7 # ( Z4 , Z5 ) & Z7 ) ) V |
A582= #( Z7 #( Z1 , ( Z6 #( Z0 , ( Z3 Z6 ) )& ) ) & ) , ( Z7 #( Z4 , Z5 )& Z7 ) )V |
A582= #( Z7 #( Z1 , ( Z6 #( Z0 , ( Z3 Z6 ) )& ) ) & ) , ( Z7 #( Z4 , Z5 )& Z7 ) )V |
A582= parbegin Z7; parbegin // cobegin Z1 , begin Z6 ; parbegin // cobegin Z0 , begin Z3 ; Z6 end parend // coend end parend // coend end , begin Z7 ; parbegin // cobegin Z4 , Z5 parend // coend ; Z7 end Parend_or // coend_or |
ВТА 4.10: Вербальный текст алгоритма // Дополнение к ВТА 4 .9
Подстановка функций команд (операторы присваивания)
|
РТА: Рабочий текст алгоритма | |
|
5 |
6 |
|
alg A582: ya582 = Fa582(xa582): parbegin Z7: yz7 := Fz7(xz7); parbegin // cobegin Z1: yz1 := Fz1(xz1), begin Z6: yz6 := Fz6(xz6) ; parbegin // cobegin Z0: yz0 := Fz0(xz0), begin Z3: yz3 := Fz3(xz3) ; Z6: yz6 := Fz6(xz6) end parend // coend end parend // coend end , begin Z7: yz7 := Fz7(xz7) ; parbegin // cobegin Z4: yz4 := Fz4(xz4) , Z5: yz5 := Fz5(xz5) parend // coend ; Z7: yz7 := Fz7(xz7) End Parend_or // coend_or |
alg A582: ya582 = Fa582(xa582): parbegin yz7 := Fz7(xz7); parbegin // cobegin yz1 := Fz1(xz1), begin yz6 := Fz6(xz6) ; parbegin // cobegin yz0 := Fz0(xz0), begin yz3 := Fz3(xz3) ; yz6 := Fz6(xz6) end parend // coend end parend // coend end , begin yz7 := Fz7(xz7) ; parbegin // cobegin yz4 := Fz4(xz4) , yz5 := Fz5(xz5) parend // coend ; yz7 := Fz7(xz7) end Parend_or // coend_or |