DRAKON.SU
https://forum.drakon.su/

Теоретическое обоснование стандарта блок-схем ГОСТ 19.701-90
https://forum.drakon.su/viewtopic.php?f=160&t=6294		 Страница 1 из 1
Автор:  Владимир Паронджанов [ Суббота, 21 Июль, 2018 13:50 ]
Заголовок сообщения:  Теоретическое обоснование стандарта блок-схем ГОСТ 19.701-90
Научное обоснование стандартов на блок-схемы ГОСТ 19.701-90 и ISO 5807:1985

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

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

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

 принцип «ограничения топологии блок-схем» Дейкстры накладывает важные ограничения на управляющий граф программы и является частью теоретического фундамента блок-схем. В стандартах ГОСТ 19.701-90 и ISO 5807:1985 эти ограничения не учтены, что и делает указанные стандарты нелигитимными.
Автор:  Alexey_Donskoy [ Суббота, 21 Июль, 2018 22:07 ]
Заголовок сообщения:  Re: Теоретическое обоснование стандарта блок-схем ГОСТ 19.70
Владимир Паронджанов писал(а):
А.А. Тюгашев полагает, что «теоретической основой графического языка блок-схем служит управляющий граф программы»
Правильно полагает.
Дело в том, что "управляющий граф" - скорее чисто математическое понятие, описание структуры. Которое может быть отображено в графическом виде, но этот способ отображения не является ни обязательным, ни единственным.
Однако если обеспечено взаимно однозначное соответствие отображения и описываемой структуры, то всё в порядке.

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

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

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

Цитата:
принцип «ограничения топологии блок-схем» Дейкстры накладывает важные ограничения на управляющий граф программы и является частью теоретического фундамента блок-схем
Повторю, что управляющий граф - это математическое описание структуры, которое может быть выражено на любом языке, одним из которых является язык графики.
Но в который уже раз вы пытаетесь представить ПРАВИЛА ОТОБРАЖЕНИЯ (технические по существу, частные, касающиеся не просто одного из возможных языков, но лишь вариантов оптимизации отображения на этом языке) в качестве некоего ТЕОРЕТИЧЕСКОГО ФУНДАМЕНТА.
Что очевидно неверно, и является явным лженаучным приёмом.
Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/