Программирование графами без языков программирования. (Новая математическая концепция).

                   Аннотация. Предлагается использовать новую, более простую, интеллектуальную и математически строгую концепцию программирования ориентированными графами из только горизонтальных дуг, на которых сверху и снизу записывается информация на любых языках (русском, английском, китайском, математическом и т. д.). На дуге сверху записывается условие прохождения по дуге, а снизу – действия, которые выполняются, если условие «истинно». Для выполнения на компьютере такого графа эти записи преобразуются в строго определенные выражения и формулы элементарной математики. Традиционные языки программирования не используются, но их библиотеки (интеллект) сохраняются и используются при задании информации на дугах. Такой граф является интеллектуальным полиглотом, он может быть 3D+, имеет стандарт ISO 8631/1989, и только один эффективно используется для записи алгоритмов, данных, программ, ООПрограмм и сетевых графиков, значительно упрощая, улучшая и ускоряя процессы их проектирования. Он имеет намного лучшие (до 100+ раз лучшие) характеристики по наглядности, простоте, компактности, оптимизации, доказательству правильности и скорости ввода в компьютер. Чем больше и логически сложнее программный проект, тем больше эффект применения новой концепции, которая настолько проста, что позволяет программировать всем, а не только программистам. Это делает программирование элементом всеобщей грамотности и культуры общества. Новая концепция программирования не имеет (нам не известно) аналогов. В книге в сжатой, компактной форме представлена история появления, анализа и проверки новой концепции, описание ее сути и реализованной графической среды программирования.

Ключевые слова.
Визуальное (графическое, математическое, полиглот, интеллектуальное, 3D+) программирование, графы с ориентированными горизонтальными дугами, цвет и любая конфигурация вершин и горизонтальных дуг, любой язык – русский, английский, китайский, математический и т.д. для записи текстов только на горизонтальных дугах, оптимизация графов программ, доказательство правильности программ, генерация тестов, самодокументирование, документирование мотивации принимаемых решений.

 ПРЕДИСЛОВИЕ.
Современное пограммирование является наиболее сложным процессом трудовой деятельности человека. Первая программа была написана во второй половине 40-х годов. Тогда же была разработана и концепция программирования. Эта концепция использует мащинно-ориентированные и неестественные для человека и математики операторы (команды) типа: if-then, else, for, while, goto…, labels, begin-end, {-} и т.д. Только теперь после появления новой концепции стало ясно, что все проблемы и сложности существующего программирования определяются ее концепцией, которая до сих пор в течение более 70 лет не изменялась и устарела. Интересно отметить, что на протяжении 70 лет в программировании было много сделано для нейтрализации недостатков существующей концепции. Но, чем больше было сделано, тем дальше существующее программирование становилось от математики, от ее строгих принципов. В результате, сейчас в программировании существует только эмпирический и интуитивный (а не строгий математический) процесс разработки программ. Поэтому существующий процесс программирования не упрощается, а усложняется, увеличивается его длительность и стоимость. Получаемые программы не имеют доказательства правильности и потому отлаживаются всю свою жизнь. Они не наглядны, не компактны (не обозримы), не модифицируемы и т.д. Э.Дейкстра, признанный гений в программировании, в конце своей жизни много думал о будущем программирования и в результате предложил «охраняемые команды». Это огромный шаг вперед, так как в программирование была введена математическая логика предикатов первого порядка и резко сокращено количество команд в концепции, но этого было недостаточно. В новой концепции предлагается программировать ориентированными графами, на горизонтальных дугах которых записываются некоторый аналог охраняемых команд Дейкстра. В результате программирование переводится полностью на строгие математические принципы, что позволяет отказаться от существующей концепции и языков программирования. Это первая попытка изменить существующую концепцию программирования, которая не имеет аналогов. Но ее эффект потрясающий. Програмирование стало понятным, наглядным и упростилось настолько, что стало доступно всем, а не только программистам. Компактность программы увеличилась в разы (известный максимум в 400 раз), число символов в программе намного уменьшилось (известный максимум – уменьшилось более чем в 500 раз), программа имеет доказательство правильности и другие преимущества. Но главное – решена проблема сложности в программировании, и все лучшее (библиотеки, охраняемые команды и т.д.), накопленные в практике существующего программирования, сохранилось в новой концепции в единой графической оболочке. Читать далее…

Загрузить - Графическая Среда Программирования(ГСП): rEditor          Инструкция

 03