4. Автоматизация построений

Используется программа TEXTPRAL.

Общая подготовка:

СФА 4.4: Структурная формула алгоритма / ИнФ: Инфиксная форма

А582 = (Z₇ (Z₁ & (Z₆ (Z₀&(Z₃ Z₆))))V(Z₇ (Z₄ &Z₅)Z₇))

А582 = (Z₇ - (Z₁ & (Z₆ - (Z₀&(Z₃ -Z₆)))) $ (Z₇ - (Z₄ &Z₅) -Z₇))

Набор формулы и добавление в список

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

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

Настройки: ПрФ / АлгПТ / ГИ

// ГИ применяется для алгол-подобного текста

// ГИ не применяется для ОкТП (см. РМУ выше)

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

Начало

Окончание

ПасПТ: Паскаль подобный текст – аналогично:

• синтаксический тип текста алгоритма сохраняется;

• выполняется частичная замена служебной лексики.

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

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

Настройки: ПрФ / АлгПТ / ВИ

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

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

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

Настройки: ПрФ / ОкПТ / ВИ // ВИ для ОкПТ

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