Введение

1. Теория алгоритмов

1. Исходные положения

1. Общее содержание второй части задания

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

• по заданной структурной формуле алгоритма – основная исходная информация;

• по дополнительным данным и условиям.

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

Имеется в виду предельно обобщенная концепция текстов, определяемых с позиций семиотики:

тексты – это комплексы (любых) знаков, связанные общим смыслом.

2. Виды текстов алгоритмов

Разрабатываются статические алгоритмические тексты (на бумажных и электронных носителях) следующих видов:

а) По форме представления текстов:

• литерные тексты:

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

вербальные тексты – формализованные словесные тексты описания алгоритмов (некоторые из них – достаточно близкие к естественному языку);

• графические тексты – схемы и временные диаграммы алгоритмов.

б) По размерности – одномерные (линейные) и двухмерные тексты.

в) Применяются литерные тексты следующих видов:

• разные синтаксические формы литерных текстов – инфиксные, префиксные, постфиксные и разные комбинированные формы;

• разные лексические виды вербальных текстов – алгол-подобные, паскаль-подобные, си-подобные, оккам-подобные тексты (программоподобные формы представления алгоритмов).

2. Ациклические двухполюсные структуры алгоритмов

1. Исходные условия

Исходная структурная формула алгоритма (СФА)

Задается некоторый функционально абстрактный алгоритм:

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

• не задается функциональная конкретизация потока (обработки) данных –

• при необходимости соответствующие функции потока данных представлены в обобщенном абстрактном виде.

Задана исходная формула алгоритма:

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

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

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

РМУ 1.1 Выписать СФА согласно исходному заданию.

// нижние (подстрочные индексы) – согласно заданию

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

РМУ 1.2 Выровнять индексы текста формулы

// строчные индексы – рабочая форма

= (Z1Z2(Z6VZ1Z8) &Z3Z4)Z1

A910 = (Z1Z2(Z6 $ Z1 Z8) & Z3 Z4)Z1

Данная СФА задает (в сокращенной инфиксной форме записи) ациклический двухполюсный параллельный алгоритм в сокращенной инфиксной форме записи.

РМУ1.3

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

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

= (Z1Z2(Z6VZ1Z8)&Z3Z4)Z1 = ( Z1 Z2 ( Z6 V Z1 Z8 ) & Z3 Z4 ) Z1

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

Анализ:

Результаты

Язык

синтаксис

семантика

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

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

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

Выводы