2. Комплект текстов алгоритмов

1. Этап э1: Подготовка стандартной полной формы формулы

1. Стандартная форма формулы алгоритма

По исходной СФА строится стандартная СФА – полная инфиксная форма.

СФА: Структурная формула алгоритма / У: Поток управления

ИнФ: Инфиксная форма записи формулы

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

A910 = (Z1Z2 (Z6 V Z1Z8) & Z3Z4) Z1 =

ПИнФ: Полная инфиксная форма // пошаговое построение

// Поэтапная простановка неявных операций суперпозиции:

// последовательная запись операторов соответствует

// операция суперпозиции " – " ("  ")

= (Z1Z2(Z6VZ1Z8)&Z3Z4)Z1 =

// Простановка недостающих пар операционных скобок:

// приоритет операции суперпозиции (–, ) выше приоритета операций

// конъюнкции (&) и дизъюнкции (V)

= (Z1Z2(Z6V(Z1Z8))&Z3Z4)Z1 =

= (Z1Z2(Z6V(Z1Z8))&(Z3Z4))Z1 =

= ((Z1Z2(Z6V(Z1Z8)))&(Z3Z4))Z1 =

= (((Z1Z2(Z6V(Z1Z8)))&(Z3Z4))Z1)

РМУ 1.3  Рекомендуется пошаговая простановка очередных пар скобок (на основе копирования предыдущего результата в новую строку) – резко снижается вероятность ошибок и повышается контролируемость выкладок.

Основная стандартная форма записи СФА

строчная индексация

A910 = (((Z1Z2(Z6V(Z1Z8))) & (Z3Z4))Z1)

подстрочная индексация (нижние индексы)

A910 = (((Z₁  Z₂  (Z₆ V (Z₁  Z₈))) & (Z₃  Z₄))  Z₁) =

Обратные (контрольные) упрощения записи

// удаление знака суперпозиции

= (((Z₁Z₂(Z₆V(Z₁Z₈)))&(Z₃Z₄))Z₁)=

// удаление внешних скобок

= ((Z₁Z₂(Z₆V(Z₁Z₈)))&(Z₃Z₄))Z₁=

// пошаговое удаление внутренних скобок для суперпозиции

= (Z₁Z₂(Z₆V(Z₁Z₈))&(Z₃Z₄))Z₁=

= (Z₁Z₂(Z₆V(Z₁Z₈))&Z₃Z₄)Z₁=

= (Z₁Z₂(Z₆VZ₁Z₈)&Z₃Z₄)Z₁

РМУ 1.4 1) Между любыми символами (лексемами) допускаются любое число пробелов (нуль или более):

(((Z₁Z₂)V(Z₃(Z₄&(Z₅Z₆))))Z₃Z₁) =

( ( ( Z₁  Z₂ ) V ( Z₃  ( Z₄ & ( Z₅  Z₆ ) ) ) )  Z₃  Z₁ )

2) Для многоместных операций (однородных выражений одного уровня) необходимо задавать минимальное число скобочных оболочек (пар скобок).

Например. Не рекомендуется (без особой необходимости) запись СФА:

(Z₆ Z₂ & Z₁) Z₆ Z₁ = ((Z6 –Z2) & Z1) – Z6 – Z1) =

= ((Z6 – Z2) & Z1) – (Z6 – Z1))

3) Приоритетность структурных операций:

• суперпозиция (, –) – более приоритетная операция, чем операции # разделения (вилки) потоков и операции &, V соединения (сборки) потоков;

• операции #, &, V одноприоритетные (не дифференцируются).

Например:

Верная простановка операционных скобок операции суперпозиции

(Z₁Z₂ V Z₃(Z₄ & Z₅Z₆))Z₃Z₁ =

(Z₁ – Z₂ V Z₃ – (Z₄ & Z₅ – Z₆)) – Z₃ – Z₁ =

((Z₁ – Z₂) V (Z₃ – (Z₄ & (Z₅ – Z₆)))) – Z3 – Z1 =

Неверная простановка операционных скобок суперпозиции – типичные ошибки:

(Z₁Z₂ V Z₃(Z₄ & Z₅Z₆))Z₃Z₁ =

(Z₁ – Z₂ V Z₃ – (Z₄ & Z₅ – Z₆)) – Z₃ – Z₁ =

(Z₁ – (Z₂ V Z₃) – ((Z₄ & Z₅) – Z₆)) – Z₃ – Z₁

На самом деле:

(Z₁Z₂ V Z₃(Z₄ & Z₅Z₆))Z₃Z₁ =

(Z₁ – Z₂ V Z₃ – (Z₄ & Z₅ – Z₆)) – Z₃ – Z₁ 

(Z₁ – (Z₂ V Z₃) – ((Z₄ & Z₅) – Z₆)) – Z₃ – Z₁ =

(Z₁(Z₂ V Z₃)((Z₄ & Z₅)Z₆))Z₃Z₁

Анализ:

Результаты

Язык

синтаксис

семантика

прагматика – субъекты (автомат, персонал), присубъекты

ручные средства

автоматизация

Выводы