Logo GenDocs.ru

Поиск по сайту:  


Загрузка...

Параллельные (и последовательные) алгоритмы и логика: логико-алгоритмические модели параллельных систем. Вариант 571 - файл ЛПР-11 МЛТА первая часть.doc


Параллельные (и последовательные) алгоритмы и логика: логико-алгоритмические модели параллельных систем. Вариант 571
скачать (702.5 kb.)

Доступные файлы (4):

ЛПР-11 МЛТА первая часть.doc469kb.06.12.2009 23:29скачать
ЛПР-12 МЛТА вторая часть.doc180kb.03.12.2009 21:21скачать
ЛПР-22 МЛТА временные диаграммы.doc161kb.05.12.2009 23:27скачать
ЛПР-32 МЛТА псевдокоды.doc406kb.06.12.2009 23:56скачать

содержание
Загрузка...

ЛПР-11 МЛТА первая часть.doc

Реклама MarketGid:
Загрузка...
Федеральное агентство по образованию

Государственное образовательное учреждение
высшего профессионального образования

Уфимский государственный авиационный технический университет
Кафедра 1058:

КМ: Компьютерная математика
Учебная специальность 230102

АСОИ: Автоматизированные системы обработки информации

и управления
Учебная дисциплина:

МЛТА: Математическая логика и теория алгоритмов
ЛПР: Лабораторно-практические работы

(РГР: Расчетно-графическая работа)

Общая тематика:

Параллельные (и последовательные) алгоритмы и логика:

логико-алгоритмические модели параллельных систем

Тема ЛПР-1

^ СТРУКТУРНЫЕ ФОРМУЛЫ И СХЕМЫ
ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ


базисного структурного класса


Часть первая ЛПР-11

Синтаксис полиморфного языка параллельных алгоритмов.

Исходный комплект примеров
^ ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

1058.409110.571 ПЗ
Учебная группа: АСОИ-238
Работу выполнила

студентка Булгакова Н.Ю.
Зачетная книжка № 085571 571 – исходный вариант задания
Работу принял

должность Житников А.П.

2009

  1. ^

    идивидуальное задание на выполнение работы




1.1Самостоятельное формирование индивидуального задания




Задание 1.1 Подготовить код и параметры индивидуального задания

1) Представлен образец подготовки индивидуального задания.

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

1) Вывод кода индивидуального задания:

номер зачетной книжки студента: 085571 последние три цифры номера: 571

код индивидуального задания K = (a, b, c) = (5, 7, 1)

2) Корректировка кода (если это необходимо):

а) Если в составе кода задания есть одинаковые цифры, то необходимо это устранить:

  • для корректировки кода обратиться к консультанту;

  • самостоятельная корректировка индивидуального кода задания является не действительной.


^
Параметры индивидуального задания (образец)

Комплект индексов (номеров команд алгоритма):

(i, j, k) = (c, b, a) = (1, 7, 5)

для опорной модельной программы parATK – это номера силовых головок i, j, k и команд запуска циклов силовых головок.

Табл. 1.1. Дополнительные параметры индивидуального задания (образец)

Номера команд

(и силовых головок)

i = c = 1

j = b = 7

k = a = 5

Обозначения команд

Zi = Zc = Z1

Zj = Zb = Z7

Zk = Za = Z5
^
Задание 1.2 Подготовить личный базовый комплект примеров

1) Далее приводится образец базового комплекта примеров.

2) Подготовить личный вариант базового комплекта примеров:

личный базовый комплект примеров получает заменой значений индексов i, j, k (номеров команд)/
^
Личный базовый комплект примеров (образец)

Классификационный состав базового комплекта примеров

(используются вспомогательные классификационные обозначения):
1) Первичные рабочие элементы – вырожденные алгоритмы

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

A00:0 = ( ) – пустой алгоритм (одинаковый по всем вариантам);

A10:1 = (Zi) = (Z1) – единичный (однокомандный) алгоритм.
2) Простые двухэлементные (двухкомандные) алгоритмы:
а) Компоновка группы двух команд – отсутствие взаимосвязи команд

(формальная операция линейной компоновки):

A20:2 = (Zi, Zj) = (Z1, Z7)
б) Одинарные структурные операции (связи):
Последовательная связь (продолжение) двух команд

A21:1 = (Zi → Zj) = (Z1 → Z7)
Разделение (дивергенция) потоков,

вилка потоков (fork), распараллеливание потоков

A22:2 = (Zi # Zj) = (Z1 # Z7)
Соединение (конвергенция) потоков,

сборка потоков ( join), спараллеливание потоков:

Общий вид записи ( o = &, V )

A2o:2 = (Zi o Zj) = (Z1 o Z7)

Частные формы

Конъюнкция потоков (порог)

A23:2 = (Zi & Zj) = (Z1 & Z7)

Дизъюнкция потоков

A24:2 = (Zi V Zj) = (Z1 V Z7)
в) Парная структурная операция:

Разделение-соединение (дивергенция-конвергенция) потоков,

вилка-сборка потоков (fork-join):

Общий вид записи ( || = #o, o = &, V )

A22o:2 = (Zi || Zj) = (Zi #o Zj) = (Z1 #o Z7)

Частные формы

Параллельная конъюнкция потоков

A223:2 = (Zi #& Zj) = (Z1 #& Z7)

Параллельная дизъюнкция потоков

A224:2 = (Zi #V Zj) = (Z1 #V Z7)
3) Простые трехэлементные алгоритмы – однородные структуры:


а) Компоновка группы трех команд – отсутствие взаимосвязи:

A30:3 = ((Zi, Zj), Zk) = (Zi, (Zj, Zk)) = (Zi, Zj, Zk) = (Z1, Z7, Z5)
б) Последовательное соединение (продолжение) трех команд:

A31:1 = ((Zi → Zj) → Zk) = (Zi → (Zj → Zk)) = (Zi → Zj → Zk) =

= (Z1 → Z7 → Z5)
в) Параллельное соединение трех команд – парная операция:

Общий вид записи ( || = #o, o = &, V )

A32o:3 = ((Zi || Zj) || Zk) = (Zi || (Zj || Zk)) = (Zi || Zj || Zk) =

= (Z1 || Z7 || Z5) = (Z1 #o Z7 #o Z5)

Частные формы

Параллельная конъюнкция

A323:3 = ((Zi #& Zj) #& Zk) = (Zi #& (Zj #& Zk)) = (Zi #& Zj #& Zk) =

= (Z1 #& Z7 #& Z5)

Параллельная дизъюнкция

A3243 = ((Zi #V Zj) #V Zk) = (Zi #V (Zj #V Zk)) = (Zi #V Zj #V Zk) =

= (Z1 #V Z7 #V Z5)

^

БИ2: Единичный алгоритм. Пример




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

КУ: Канал (поток) управления

Синтаксис – запись и анализ исходной ППФ

Вспомогательное классификационное обозначение:

Ano = A10 = Ano:p = A10:1 = (Zi)

А10 = A10:1 = (Zi) = (Z1) // A10:1 –индекс для программ моделирования

n = 1 – одна команда;

o = 0 – нет операций связи команд;

есть (вырожденная) одноместная операция группировки ( );

p = 1 – вырожденная единичная степень параллелизма.

Семантика – структурная интерпретация

Интерпретация ППФ как формулы простого двухполюсника:

Шрифт Times New Roman – рабочий шрифт

Переменный шаг шрифта – для линейных формул

A10 = (Z1) = (Z1) = (Z1)

A10 = (Z1) = (–>Z1–>) = –>(–>Z1–>)–>

A10 = (Z1) = (–Z1–) = –(–Z1–)–

Шрифт Courier New – шрифт модельной псевдографики

Постоянный шаг шрифта – для двухмерных формул

A10 = (Z1) = (→Z1→) = →(→Z1→)→

A10 = (Z1) = (->Z1->) = ->(->Z1->)->

A10 = (Z1) = (-Z1-) = -(-Z1-)-

Реализация: Ознакомиться с примерами реализации алгоритмов в программной модели АТК (рекомендуется опробовать):

1) Конфигурация АТК1: A101 (A101_2 – дополнительная реализация)

2) Конфигурация АТК12: eA001

Прагматика – синтаксические преобразования формулы

Бесскобочная запись – упрощение исходной ППФ

А10 = (Z1) = Z1

Восстановление исходной ППФ

А10 = Z1 = (Z1)



^
ССА: Структурная схема алгоритма

КУ: Канал (поток) управления

Псевдографика схемы:

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




^ Литерный мозаичный набор / Ручная трансляция

Скобочная оболочка заменяется литерной схемной оболочкой

Оболочковая форма Безоболочковая форма

Клавиатурная псевдографика // шрифт Courier New

+-----+ +---+

A10: | Z1 | A10: | Z1| A10: Z1

---->|–>+->|--> = -----|–+-|--> = -----+--->

+-----+ +---+

Специальная псевдографика // шрифт Courier New

┌─────┐ ┌───┐ ┌ ─ ─ ─ ┐

A10:Z1A10:Z1A10: Z1 Z1

────>│─>┼─>│──> = ─────│─┼─│──> = ─────┼───> │─ ┼ ─│

└─────┘ └───┘ └ ─ ─ ─ ┘

^ Графика схемы

Графический мозаичный набор / Ручная трансляция

Программа TrenTest – ячеистое поле набора

БФ: Безоболочковая форма

Видимая сетка наборного поля Невидимая сетка наборного поля



ОФ: Оболочковые формы – нецелесообразно для реализации набором
^
ССА: Структурная схема алгоритма (продолжение)

КУ: Канал (поток) управления

Линейная техника структурных построений

Ручные построения / ^ Ручная трансляция

Процессор Word / Встроенный графический редактор

Оболочковая форма Безоболочковая форма

ШСА: Штрих-схема алгоритма




БСА: Блок-схема алгоритма


^ Автоматизированные построения / Автоматическая трансляция

Программа GRAMPRAL // Первичные элементы

СФА: Структурная формула алгоритма – ввод



ССА: Структурная схема алгоритма – вывод

ШСА: Штрих-схема алгоритма БСА: Блок-схема алгоритма

БФ: Безоболочковая форма



ОФ: Оболочковая форма – (пока) не реализована:

автоматизация трансляции не завершена (по начальным моделям).





^

1.1.1Описание примера шага индукции ШИ1




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

КУ: Канал (поток) управления

Синтаксис – запись и анализ

Вспомогательное классификационное обозначение:

A20 = A20: 2 = (Zi, Zj) = (Z1, Z7)

простой составной алгоритм (без связей команд);

n = 2 – две команды;

o = 0(,) – нет операций связи, есть двухместная операция группирования;

p = 2 – потенциальная степень параллелизма 2.

Семантика – интерпретация

Интерпретация ППФ алгоритма как формулы полюсника:

два независимых двухполюсника

Шрифт Courier (Courier New) – постоянный шаг:

A20 = (Z1,Z7) = (Z1 Z7) = (Z1) = →(→Z1→)→

(Z7) →(→Z7→)→

^ A20 = (Z1,Z7) = (Z1 Z7) = (Z1) = ->(->Z1->)->

(Z7) ->(->Z7->)->

A20 = (Z1,Z7) = (Z1 Z7) = (Z1) = -(-Z1-)-

(Z7) -(-Z7-)-


Прагматика – синтаксические преобразования формулы

Бесскобочная запись

A20 = (Z1, Z7) = Z1, Z7

Восстановление исходной ППФ:

A20 = Z1, Z7 = (Z1, Z7)



^
ССА: Структурная схема алгоритма

КУ: Канал (поток) управления

Псевдографика схемы:

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




^ Литерный мозаичный набор / Ручная трансляция

Скобочная оболочка заменяется схемной оболочкой

Оболочковая форма Безоболочковая форма

Клавиатурная псевдографика // шрифт Courier New

+-----+ +---+

A20: | Z1 | A20: | Z1| A20: Z1

---->|–>+->|--> = -----|–+-|--> = -----+--->

| Z7 | | Z7| Z7

---->|–>+->|--> = -----|–+-|--> = -----+--->

+-----+ +---+

Специальная псевдографика // шрифт Courier New

┌─────┐ ┌───┐

A20:Z1 A20:Z1A20: Z1

────>│─>┼─>│──> = ─────│─┼─│──> = ─────┼────>

Z7 │ │ Z7Z7

────>│─>┼─>│──> = ─────│─┼─│──> = ─────┼────>

└─────┘ └───┘



^
ССА: Структурная схема алгоритма (продолжение)

КУ: Канал (поток) управления

Графика схемы

^ Графический мозаичный набор / Ручная трансляция

Программа TrenTest – ячеистое поле набора

БФ: Безоболочковая форма

Видимая сетка наборного поля Невидимая сетка наборного поля



ОФ: Оболочковые формы – нецелесообразны для реализации набором

^ Линейная техника структурных построений

Ручные построения / Ручная трансляция

Процессор Word / Встроенный графический редактор

ОФ: Оболочковая форма БФ: Безоболочковая форма

ШСА: Штрих-схема алгоритма



БСА: Блок-схема алгоритма




Автоматизированные построения / Программа GRAMPRAL

Автоматическая трансляция – (пока) не реализована
^

1.1.2Описание примеров шага индукции ШИ2




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

КУ: Канал (поток) управления

Синтаксис – запись и анализ

Вспомогательное классификационное обозначение:

A21 = A21:1 = (Zi, Zj) = (Z1, Z7) = // ПрФ: Префиксная форма

= (Zi  Zj) = (Z1  Z7) = // ИнФ: Инфиксная форма

= (Zi, Zj) = (Z1, Z7) // ПоФ: Постфиксная форма

n = 2 – две команды;

o = 1() – есть двухместная операция суперпозиции;

p = 1 – вырожденная степень параллелизма 1.

Семантика – интерпретация

Интерпретация ППФ алгоритма как формулы полюсника:

Шрифт TNR – переменный шаг:

A21 = (Z1  Z7) = (Z1Z7) = (Z1Z7)

Шрифт Courier (Courier New) – постоянный шаг:

A21 = (Z1→Z7) = (→AZ1→→→Z7→) = → (→Z1→Z7→)→

A21 = (Z1->Z7) = (->Z1->Z7->) = ->(->Z1->Z7->)->

A21 = (Z1-Z7) = (-Z1-Z7-) = -(-Z1-Z7-)-


Прагматика – синтаксические преобразования формулы

Бесскобочная запись

A20 = (Z1  Z7) = Z1  Z7 = Z1Z7 = Z1Z7

A20 = (Z1  Z7) = (Z1Z7) = Z1Z7 = Z1Z7

Восстановление исходной ППФ:

A20 = Z1Z7 = Z1Z7 = Z1  Z7 = (Z1  Z7)

A20 = Z1Z7 = Z1Z7 = (Z1Z7) = (Z1  Z7)

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

A20 = (Z1  Z7) = (Z1 – Z7) = Z1 – Z7 = Z1Z7 = Z1Z7

A20 = (Z1  Z7) = (Z1 – Z7) = (Z1Z7) = Z1Z7 = Z1Z7



^
ССА: Структурная схема алгоритма

КУ: Канал (поток) управления

Псевдографика схемы:

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




^ Литерный мозаичный набор / Ручная трансляция

Скобочная оболочка заменяется схемной оболочкой

Оболочковая форма Безоболочковая форма

Клавиатурная псевдографика

+--------+ +------+

A21: | Z1 Z7 | A21: | Z1 Z7| A21: Z1 Z7

---->|->+->+->|--> -----|-+--+-|--> -----+--+--->

+--------+ +------+

Специальная псевдографика

┌────────┐ ┌──────┐

A21:Z1 Z7A21:Z1 Z7A21: Z1 Z7

────>│─>┼─>┼─>│──> ─────│─┼──┼─│──> ─────┼──┼───>

└────────┘ └──────┘

Графика схемы

Графический мозаичный набор / ^ Ручная трансляция

Программа TrenTest – ячеистое поле набора

БФ: Безоболочковая форма

Видимая сетка наборного поля Невидимая сетка наборного поля



ОФ: Оболочковые формы – нецелесообразны для реализации набором



^
ССА: Структурная схема алгоритма. Продолжение

КУ: Канал (поток) управления

Линейная техника структурных построений

^ Ручные построения / Ручная трансляция

Процессор Word / Встроенный графический редактор

Оболочковая форма Безоболочковая форма

ШСА: Штрих-схема алгоритма




БСА: Блок-схема алгоритма




^ Автоматизированные построения / Автоматическая трансляция

Программа GRAMPRAL

СФА: Структурная формула алгоритма – ввод



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БФ: Безоболочковая форма

ШСА: Штрих-схема алгоритма



БСА: Блок-схема алгоритма







^

1.1.3Описание примеров шага индукции ШИ5




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

КУ: Канал (поток) управления

Синтаксис – запись и анализ ППФ

Вспомогательное классификационное обозначение:

Полная запись

A22o = A22o:2 = (Z1 # Z7) = (Z1 # Z7) = // ИнФ: Инфиксная форма

= #(Z1, Z7) = #(Z1 , Z7) = // ПрФ: Префиксная форма

= #(Z1, Z7) = #(Z1 , Z7) = // ПоФ: Постфиксная форма

= (Z1 # Z7) = … // Обратная ИнФ

n = 2 – две команды;

o = 24 (#) – есть парная операция связи: дивергенция-конвергенция;

p = 2 – степень параллелизма 2.

Сокращенная запись // Только для двухполюсных структур

А223 = А223:2 = (Z1 #& Z7) = (Z1 #& Z7) = (Z1 & Z7) = (Z1 & Z7)

замкнутая (параллельная) конъюнкция двух команд

А234 = А234:2 = (Z1 #V Z7) = (Z1 #V Z7) = (Z1 V Z7) = (Z1 V Z7)

замкнутая (параллельная) дизъюнкция двух команд

Семантика – структурная интерпретация ППФ

Интерпретация ППФ алгоритма как формулы полюсника:

спецзнак  = &, V заменяется на знак o (малаябуква

A22o = (Z1#Z7) = #(Z1,Z7) = #(Z1) = →#|→(Z1)→|

(Z7) |→(Z7)→|

A22o = (Z1#Z7) = #(Z1,Z7) = #(Z1) = ->#|->(Z1)->|->

(Z7) |->(Z7)->|

= -#|-(Z1)-|-

|-(Z7)-|




Прагматика – синтаксические преобразования формулы

Бесскобочная запись и упрощение записи парной операции

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

А223 = (Z1 #& Z7) = Z1 #& Z7 = Z1 #& Z7 = Z1 #& Z7 = Z1 & Z7

А224 = (Z1 #V Z7) = Z1 #V Z7 = Z1 #V Z7 = Z1 #V Z7 = Z1 V Z7

КоФ: Комбинированная форма / ПрПоФ: Префиксно-постфиксная форма

А223 = (Z1 #& Z7) = #(Z1, Z7)& = #Z1, Z7& = #Z1, Z7&

А224 = (Z1 #V Z7) = #(Z1, Z7)V = #Z1, Z7V = #Z1, Z7V



^
ССА: Структурная схема алгоритма

КУ: Канал (поток) управления

Псевдографика схемы: клавиатурная и специальная литерная псевдографика




^ Литерный мозаичный набор / Ручная трансляция

Скобочная оболочка заменяется схемной оболочкой

Оболочковая форма Безоболочковая форма

Литерная псевдографика // шрифт Courier New

+-----+ +---+

A22o: # | Z1 | A22O: # | Z1| A22o:# Z1

----->+->|–>+->|->+-> = ------+-|–+-|-+-> = -----+-+--+->

| | Z7 | | | | Z7| | | Z7 |

+->|–>+->|->+ +-|–+>|-+ +-+--+

+-----+ +---+

Специальная псевдографика // шрифт Courier New

┌─────┐ ┌───┐

A20o: # Z1 A22O: # Z1 A22O:# Z1

─────>┼─>│─>┼─>->┼─> = ──────┼─│─┼─│─┼─> = ─────┼─┼──┼─>

│ │ Z7 Z7 Z7

├─>│─>┼─>-> ├─│─┼─│─┤ ├─┼──┤

└─────┘ └───┘ ├ ┤
^
ССА: Структурная схема алгоритма. Продолжение

КУ: Канал (поток) управления

Графика схемы

Графический мозаичный набор / ^ Ручная трансляция

Программа TrenTest – ячеистое поле набора

// знак ● меняется на знак o (латинская малая буква o)

БФ: Безоболочковая форма

Видимая сетка наборного поля Невидимая сетка наборного поля



ОФ: Оболочковые формы – нецелесообразны для реализации набором

^ Линейная техника структурных построений

Ручные построения / Ручная трансляция

Процессор Word / Встроенный графический редактор

ОФ: Оболочковая форма БФ: Безоболочковая форма

ШСА: Штрих-схема алгоритма





БСА: Блок-схема алгоритма


A22o = (Z1 #o Z7) = (Z1 o Z7)




Z1

#

o


=




Z7






^
ССА: Структурная схема алгоритма. Продолжение

КУ: Канал (поток) управления

Автоматизированные построения / Автоматическая трансляция

Программа GRAMPRAL

^ Параллельная (замкнутая) конъюнкци

СФА: Структурная формула алгоритма – ввод



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БО: Безоболочковая форма

ШСА: Штрих-схема алгоритма



БСА: Блок-схема алгоритма






Параллельная (замкнутая) дизъюнкция

СФА: Структурная формула алгоритма – ввод



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БО: Безоболочковая форма

ШСА: Штрих-схема алгоритма


БСА: Блок-схема алгоритма






^

2.3.6.Детальное описание расширения заключения индукции




Группа Gn = G3: Три команды n = 3

Основные подгруппы:

G2o / o > 0: Есть операции

1) Одинарные операции o =  # 

а) o = 1() – последовательное соединение

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

Синтаксис – запись и анализ

Вспомогательное классификационное обозначение:

A31 = A31:1 = (Zi, Zj, Zk) = (Z1, Z7, Z5) = // ПрФ

= (Zi  Zj Zk) = (Zi  Zj Zk) = // ИнФ

= (Zi, Zj, Zk) = (Z1, Z7, Z5) // ПоФ

n = 3 – три команды;

o = 1() – есть трехместная операция суперпозиции;

p = 1 – вырожденная степень параллелизма 1.

Семантика – интерпретация

Интерпретация ППФ алгоритма как формулы полюсника:

A21 = (Zi  Zj Zk) = (Zi  Zj Zk ) = ( Zi  Zj Zk )


Прагматика – синтаксические преобразования формулы

Бесскобочная запись

A20 = (Z1  Z7  Z5) = Z1  Z7  Z5 = Z1Z7Z5= Z1Z7Z5

A20 = (Z1  Z7  Z5) = (Z1Z7Z5) = Z1Z7Z5 = Z1Z7Z5

Восстановление исходной ППФ:

A20 = Z1Z7Z5 = Z1Z7Z5= Z1  Z7  Z5 = (Z1  Z7  Z5)

A20 = Z1Z7Z5 = Z1Z7Z5 = (Z1Z7Z5) = (Z1  Z7  Z5)

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

A20 = (Z1  Z7  Z5) = (Z1 –Z7 –Z5) = Z1 –Z7 – Z5 = Z1Z7Z5 = Z1Z7Z5

A20 = (Z1  Z7  Z5) = (Z1 –Z7 –Z5) = (Z1Z7Z5) = Z1Z7Z5 = Z1Z7Z5

Простейшие структурные преобразования:

переход к двухместным операциям

Синтаксис

A21 = (Zi  Zj Zk) = ((Zi  Zj) Zk) = (Zi  (Zj Zk)) =

= (Z1  Z7  Z5) = ((Z1  Z7)  Z5) = (Z1  (Z7  Z5))






2) ^ Наличие парных операций: o = 23(#&), 24(#4):

а) Полный параллелизм – трехместные операции

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

Синтаксис – запись и анализ

Вспомогательное классификационное обозначение:

Полная запись

А323 = (Zi #& Zj #& Z5) = (Z1 #& Z7 #& Z5) – параллельная конъюнкция.

А324 = (Zi #V Zj #V Zk) = (Z1 #V Z7 #V Z5) – параллельная дизъюнкция.

Сокращенная запись // Для двухполюсных структур

А323 = (Zi & Zj & Z5) = (Z1 & Z7 & Z5) – параллельная конъюнкция.

А324 = (Zi V Zj V Zk) = (Z1 V Z7 V Z5) – параллельная дизъюнкция.

Семантика – интерпретация

Прагматика – синтаксические преобразования формулы




Простейшие структурные преобразования:

переход от трехместных структурных операций к двухместным операциям

Синтаксис



А323 =

= (Z1 #& Z7 #& Z5) = ((Z1 #& Z7) #& Z5) = (Z1 #& (Z7 #& Z5)) =

= (Z1 & Z7 & Z5) = ((Z1 & Z7) & Z5) = (Z1 & (Z7 & Z5)) =
А324 =

= (Z1 #V Z7 #V Z5) = ((Z1 #V Z7) #V Z5) = (Z1 #V (Z7 #V Z5)) =

= (Z1 V Z7 V Z5) = ((Z1 V Z7) V Z5) = (Z1 V (Z7 V Z5))


Семантика – структурная интерпретация далее (см.-те задание)



^
Задание 0.3. Выполнить самостоятельно структурные построения:

1) Выполнить построения для трех структурных формул:

a)А323 = (Z1 & Z7 & Z5)

b)А323 = ((Z1 & Z7) & Z5)

c)А323 = (Z1 & (Z7 & Z5))

2) Построения для каждой структурной формулы выполнять самостоятельно по следующей форме расположения окон данных – заменять нужными данными:

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

Автоматизированные построения. Программа GRAMPRAL

Параллельная конъюнкция

СФА: Структурная формула алгоритма – ввод

a)



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БО: Безоболочковая форма

Штрих-схема алгоритма


БСА: Блок-схема алгоритма

b)



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БО: Безоболочковая форма

Штрих-схема алгоритма


БСА: Блок-схема алгоритма

c)



ССА: Структурная схема алгоритма – вывод

ОФ: Оболочковая форма БО: Безоболочковая форма

Штрих-схема алгоритма


БСА: Блок-схема алгоритма

3) Сравнить полученные функционально эквивалентные варианты структурных схем алгоритмов


Скачать файл (702.5 kb.)

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации
Рейтинг@Mail.ru