Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность
Здесь показаны различия между двумя версиями данной страницы.
Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия Следующая версия Следующая версия справа и слева | ||
ocenka_texnojazyka_i_shampur-metoda [2012/04/05 11:34] Владислав Жаринов [Отступление: формализация и языки представления знаний] |
ocenka_texnojazyka_i_shampur-metoda [2012/04/05 11:45] Владислав Жаринов [Содержание] |
||
---|---|---|---|
Строка 156: | Строка 156: | ||
Таков пролог нашей истории... :) | Таков пролог нашей истории... :) | ||
- | ====== Содержание ====== | + | |
- | Следующие разделы размещены на отдельных страницах; дальше идёт только их перечень со ссылками. | + | |
===== Вершины и линии схем: смысл — в ГРАФике И Тексте ===== | ===== Вершины и линии схем: смысл — в ГРАФике И Тексте ===== | ||
- | [[http://drakon.su/ocenka_texnojazyka_i_shampur-metoda/Серия_1|Серия 1]] | + | По идее когнитивной формализации знаний, в ШМ графика должна прежде всего удобно вмещать текст (и/или таблицы, если они допустимы как содержание вершины некоторого типа). Поэтому из БС-графики заимствуются только такие формы икон и их частей, которые и наглядны сами по себе, и удобно и экономично вмещают текст. |
+ | |||
+ | Как следствие, по сравнению с блок-схемами некоторые формы блоков получают новые значения (к примеру, форма-трапеция – как основа хронизаторов реального времени), а другие (скажем, ромб) не используются. | ||
+ | |||
+ | В то же время композиция многофигурных вершин м.б. более стройной, если ввести общие законы их построения. Возможны следующие: | ||
+ | вертикалей окружения — вводятся условные оси, параллельные шампуру схемы и представляющие совокупные потоки управления процессов, взаимодействующих с алгоритмическим процессом, описываемым схемой; | ||
+ | событийного следования — фигуры в вершине и/или части её содержания упорядочиваются по шампуру в порядке исполнения. | ||
+ | |||
+ | В части первого нужно раздельно представлять процессы того же исполнителя и процессы его внешней среды; поэтому следует ввести оси по обе стороны шампура; фигуры, представляющие связь с соответствующей категорией процессов, для удобства чтения нужно сделать как по форме направленными на ось, так и по положению смещёнными к ней. | ||
+ | |||
+ | В части второго предшествующие события представляются фигурами, расположенными ближе к началу шампура; кроме того, можно использовать уровни глубины, если допускать частичное перекрытие фигур в вершине. | ||
+ | |||
+ | Можно видеть, что в ШМ принято единственное правило — располагать фигуры вершины «лесенкой» всегда справа налево и направленные формы фигур направо - более простое, но менее информативное. | ||
+ | |||
+ | Также алфавит БС функционально шире, чем в ДРАКОНе. Блок-схемы предназначены для представления содержания всей программы (в смысле расширенного тезиса Вирта). Поэтому, кроме подалфавита импер-части (называемой в БС «схема алгоритма»), предусмотрен также подалфавит для деклар-части («схемы данных»). Имеются также средства для представления материальных действий («техпроцессов» по Паронджанову) и структур (актив-части). Однако назначение ДРАКОНа — представлять только императивные знания; поэтому остальной алфавит здесь не нужен. | ||
+ | |||
+ | Важно понимать, что графика шампур-схемы представляет лишь часть формализуемого знания о предмете шампур-визуализации. Остальная часть представляется содержанием вершин (и, возможно, рёбер). Т.е. за схемой всегда стоит некий целостный язык представления (ЯПЗ), изначально полностью текстовый. Именно на него мы и указываем префиксом. Не принимать во внимание этот язык можно, лишь рассматривая абстрагированные шампур-схемы (литеральные и «слепыши»). Конкретный же графит-язык «гибриден», т.е. образуется «скрещиванием» ЯПЗ с шампур-языком (схем-«слепышей»). При этом часть синтаксиса текстового ЯПЗ представляется графикой вершин и рёбер, а часть — их содержанием (как ещё говорят, разметкой графа). Образуется т.н. гибридный язык — который д.б. эквивалентен чисто текстовому. | ||
+ | |||
+ | Если же мы не указываем ЯПЗ, но считаем, что схема конкретная (гибридная) — это лишь значит, что мы принимаем для содержания её рёбер и/или вершин синтаксис некоего гибридного ЯПЗ, выбираемого «по умолчанию». Разумно считать таким естественный язык описания деятельности, родной для сочинителя (и, конечно, читателя) схемы. Однако этот язык для удобства дальнейшей формализации обычно как-то структурируется (ограничивается). Как — покажем при определении лексики языка. | ||
- | ---- | + | Далее рассмотрим дракон-алфавит с позиций структурного анализа и синтеза. |
==== Начало азбуки ДРАКОНа-1: вроде, как в БС... да не как в БС ==== | ==== Начало азбуки ДРАКОНа-1: вроде, как в БС... да не как в БС ==== |