8. Э252 Разделение парных операций

Все три операции представлены в инфиксной форме.

Водится комбинированные способы записи разных операций.

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

КоФ: Комбинированная форма записи формулы:

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

// Пошаговое построение

A910 = (((Z1Z2(Z6 #V(Z1Z8))) #& (Z3Z4))Z1)

= (((Z1Z2#(Z6, (Z1Z8))V) #& (Z3Z4))Z1)

= (#((Z1Z2#(Z6, (Z1Z8))V), (Z3Z4))&Z1)

// суперпозиция () сохраняется в инфиксе

// разделение (вилка) потоков (#) выносится в префикс (влево)

// соединение (сборка) по конъюнкции (&) и дизъюнкции (V)

// выносятся в постфикс (вправо)

Конечные результаты

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

A910 = (#((Z1  Z2  #(Z6, (Z1  Z8))V), (Z3  Z4))&  Z1)

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

A910 = (#((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₁

Дополнительно существенно повышается степень явного соответствия текстов формул и схем.

Примечание. Возможно удаление внутренних скобок (скобочных формульных оболочек) при символах #, &,V (которые сами могут выполнять функции формульных оболочек):

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

= #Z₁Z₂#Z₆, Z₁Z₈V, Z₃Z₄&Z₁ =

// Такой способ записи с учетом приоритетности суперпозиции в составе КоФ

// данного типа обеспечивает возможность полного исключения всех скобок

// При этом резко снижается читабельность формул,

// особенно для формул с большой вложенностью компонент и большим числом

// однородных компонент одного уровня (с перечислением их через запятую)

// Однако такая возможность является полезной

// для отражения разных концептуальных аспектов

Анализ:

синтаксис

семантика

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

Выводы

9. Э253 Двухмерные структурные формулы

Структурные схемы – это (в общем случае) двухмерные графические тексты, в то время как соответствующие им обычные (линейные) структурные формулы – это одномерные литерные тексты. В линейных структурных формулах используются способы кодирования двухмерной структуры графических схем.

Однако возможно применение двухмерной литерной грамматики для обеспечения прямого визуального соответствия структурных формул и схем.

Примечание. 1) При этом в структурных схемах всегда могут быть полностью удалены все оболочки (оболочки отражают различные группировки элементов схемы) без изменения общей структуры алгоритма.

2) В линейных структурных формулах не всегда невозможно удаление всех скобочных оболочек без искажения исходной структуры.

Приведение формул к двухмерной форме:

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

// переключить редактор Word на шрифт Courier New:

// обеспечивается постоянный шаг литерного текста

A910=(#((Z1–Z2–#(Z6,(Z1–Z8))V),(Z3–Z4))&–Z1)=

// Условная замена знаков

// Перевод строки внутри оболочки

// Выравнивание влево (внутри оболочек)

A910 = (#((Z3–Z4)–––––––––––––)&–Z1)

(Z1–Z2–#(Z6,(Z1–Z8))V)

// условная замена знаков

// перевод строки внутри оболочки

A910 = (#((Z3–Z4)––––––––––)&–Z1)

(Z1–Z2–#(Z6–––––)V)

((Z1–Z8))

Упрощения записи

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

A910 = #((Z3–Z4)––––––––––)&–Z1=

(Z1–Z2–#(Z6–––––)V)

((Z1–Z8))

= #(Z3–Z4––––––––––––)&–Z1=

(Z1–Z2–#(Z6–––––)V)

((Z1–Z8))

= #(Z3–Z4––––––––––––)&–Z1=

(Z1–Z2–#(Z6–––––)V)

(Z1–––Z8)

= #(Z3–Z4––––––––––––)&–Z1=

(Z1–Z2–#(Z6–––––)V)

(Z1–––Z8)

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

// сохранение выравнивания полей внутри оболочек

= #(Z3Z4––––––––)&Z1=

(Z1Z2#(Z6––)V)

(Z1Z8)

Замена обозначений оболочек

// строчные индексы

= #|Z3Z4––––––––|&Z1=

|Z1Z2#|Z6––|V|

|Z1Z8|

// подстрочные индексы

= #|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₈|

Конечные результаты

A910 = #|Z3Z4––––––––|&Z1 = #|Z₃Z₄––––––_––|&Z₁=

|Z1Z2#|Z6––|V| |Z₁Z₂#|Z₆–_–|V|

|Z1Z8| |Z₁Z₈|

Очевидно взаимнооднозначное соответствие СФА и ССА (изоморфизм)