DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 19:37

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
СообщениеДобавлено: Суббота, 21 Июль, 2018 13:50 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Научное обоснование стандартов на блок-схемы ГОСТ 19.701-90 и ISO 5807:1985

А.А. Тюгашев полагает, что «теоретической основой графического языка блок-схем служит управляющий граф программы» [47]. Это верно лишь отчасти по трем причинам:

 язык блок-схем не удовлетворяет требованиям, предъявляемым к формальному языку, поскольку «для конечного исполнителя-компьютера свойство понятности блок-схемы не обеспечивают: процессорами компьютеров не воспринимаются алгоритмы, заданные в виде блок-схемы»;

 граф потока управления (control flow graph) применяется в компиляторах для оптимизации кода и в средствах статического анализа, однако блок-схему невозможно напрямую преобразовать в код. Следовательно, логическая связь между блок-схемой и управляющим графом остается не обоснованной;

 принцип «ограничения топологии блок-схем» Дейкстры накладывает важные ограничения на управляющий граф программы и является частью теоретического фундамента блок-схем. В стандартах ГОСТ 19.701-90 и ISO 5807:1985 эти ограничения не учтены, что и делает указанные стандарты нелигитимными.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 21 Июль, 2018 22:07 
Аватара пользователя

Зарегистрирован: Суббота, 29 Март, 2008 19:27
Сообщения: 1098
Откуда: Россия, Чебоксары
Владимир Паронджанов писал(а):
А.А. Тюгашев полагает, что «теоретической основой графического языка блок-схем служит управляющий граф программы»
Правильно полагает.
Дело в том, что "управляющий граф" - скорее чисто математическое понятие, описание структуры. Которое может быть отображено в графическом виде, но этот способ отображения не является ни обязательным, ни единственным.
Однако если обеспечено взаимно однозначное соответствие отображения и описываемой структуры, то всё в порядке.

Цитата:
язык блок-схем не удовлетворяет требованиям, предъявляемым к формальному языку
Вообще-то формальный язык имеет всего два требования: конечный набор синтаксических единиц и строго определённые правила синтаксиса.
Так что вполне удовлетворяет.

Цитата:
процессорами компьютеров не воспринимаются алгоритмы, заданные в виде блок-схемы
Процессорами и никакие другие не воспринимаются - ни формальные, ни неформальные, ни текстовые, ни графические.
Процессорами воспринимаются электрические сигналы на шине данных.
И от этих сигналов почти равно далеки как текстовые, так и графические языки.

Цитата:
блок-схему невозможно напрямую преобразовать в код
Напрямую ни одно из представлений нельзя преобразовать. Нужен компилятор.

Цитата:
принцип «ограничения топологии блок-схем» Дейкстры накладывает важные ограничения на управляющий граф программы и является частью теоретического фундамента блок-схем
Повторю, что управляющий граф - это математическое описание структуры, которое может быть выражено на любом языке, одним из которых является язык графики.
Но в который уже раз вы пытаетесь представить ПРАВИЛА ОТОБРАЖЕНИЯ (технические по существу, частные, касающиеся не просто одного из возможных языков, но лишь вариантов оптимизации отображения на этом языке) в качестве некоего ТЕОРЕТИЧЕСКОГО ФУНДАМЕНТА.
Что очевидно неверно, и является явным лженаучным приёмом.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB