http://pco.iis.nsk.su/grapp/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%81%D1%85%D0%B5%D0%BC_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC&feed=atom&action=history Категория:Теория схем программ - История изменений 2024-03-29T06:26:38Z История изменений этой страницы в вики MediaWiki 1.39.3 http://pco.iis.nsk.su/grapp/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%81%D1%85%D0%B5%D0%BC_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC&diff=10967&oldid=prev KVN в 07:34, 9 октября 2019 2019-10-09T07:34:00Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ru"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Предыдущая версия</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Версия от 14:34, 9 октября 2019</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Строка 1:</td> <td colspan="2" class="diff-lineno">Строка 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Понятие схемы </del>программ <del style="font-weight: bold; text-decoration: none;">принадлежит А.А. Ляпунову и было введено им в 1953 г.</del>, <del style="font-weight: bold; text-decoration: none;">исходя из общей концепции необходимости </del>и <del style="font-weight: bold; text-decoration: none;">возможности формализации процесса программирования</del>. <del style="font-weight: bold; text-decoration: none;">Первыми &quot;заказчиками&quot; математических моделей программ стали разработчики трансляторов</del>, <del style="font-weight: bold; text-decoration: none;">которые </del>в <del style="font-weight: bold; text-decoration: none;">конце 50-х и начале 60-х годов столкнулись </del>с <del style="font-weight: bold; text-decoration: none;">необходимостью обоснования алгоритмов оптимизирующей трансляции и доказательства их корректности</del>. <del style="font-weight: bold; text-decoration: none;">В настоящее время теория схем </del>программ <del style="font-weight: bold; text-decoration: none;">- это широко разветвленная область исследования</del>, <del style="font-weight: bold; text-decoration: none;">содержащая много фундаментальных результатов не только по операторным моделям последовательных программ</del>, <del style="font-weight: bold; text-decoration: none;">но </del>и <del style="font-weight: bold; text-decoration: none;">по рекурсивным схемам и схемам параллельных программ</del>.  </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Теория схем </ins>программ <ins style="font-weight: bold; text-decoration: none;">– один центральных разделов теоретического программирования</ins>, <ins style="font-weight: bold; text-decoration: none;">связанный с изучением структурных свойств </ins>и <ins style="font-weight: bold; text-decoration: none;">преобразований программ</ins>. <ins style="font-weight: bold; text-decoration: none;">В нем объектами исследования являются упрощенные математические модели программы</ins>, в <ins style="font-weight: bold; text-decoration: none;">которых </ins>с <ins style="font-weight: bold; text-decoration: none;">той или иной детализацией отражено строение программы, взаимодействие составляющих ее компонентов</ins>. <ins style="font-weight: bold; text-decoration: none;">Например, в операторных схемах </ins>программ <ins style="font-weight: bold; text-decoration: none;">такие понятия, как оператор, операнд</ins>, <ins style="font-weight: bold; text-decoration: none;">переменная</ins>, <ins style="font-weight: bold; text-decoration: none;">выполнение </ins>и <ins style="font-weight: bold; text-decoration: none;">т.д., являются обобщением соответствующих понятий существующих языков программирования</ins>. <ins style="font-weight: bold; text-decoration: none;">Каждая операторная схема программы моделирует целый класс конкретных </ins>программ<ins style="font-weight: bold; text-decoration: none;">, имеющих одинаковую информационно–логическую структуру, т</ins>.<ins style="font-weight: bold; text-decoration: none;">е</ins>. <ins style="font-weight: bold; text-decoration: none;">описывает его таким образом</ins>, <ins style="font-weight: bold; text-decoration: none;">что множество преобразований</ins>, <ins style="font-weight: bold; text-decoration: none;">корректных для </ins>схемы, <ins style="font-weight: bold; text-decoration: none;">образуется из </ins>преобразований, <ins style="font-weight: bold; text-decoration: none;">корректных для всех моделируемых ею программ</ins>. <ins style="font-weight: bold; text-decoration: none;">При переходе от программы к моделирующей ее схеме игнорируются несущественные особенности (например, синтаксические) конкретного языка программирования </ins>и <ins style="font-weight: bold; text-decoration: none;">сохраняются только те семантические свойства программы</ins>, <ins style="font-weight: bold; text-decoration: none;">которые используются при ее анализе </ins>и <ins style="font-weight: bold; text-decoration: none;">преобразовании</ins>.</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Первым всесторонне исследованным классом схем </del>программ <del style="font-weight: bold; text-decoration: none;">были схемы Янова</del>. <del style="font-weight: bold; text-decoration: none;">В работах Ю.И</del>. <del style="font-weight: bold; text-decoration: none;">Янова впервые выделены и формализованы основные компоненты теории схем и</del>, <del style="font-weight: bold; text-decoration: none;">в первую очередь</del>, <del style="font-weight: bold; text-decoration: none;">- понятие </del>схемы <del style="font-weight: bold; text-decoration: none;">программ и отношение эквивалентности. Яновым были найдены алгоритмы распознавания эквивалентности в этом классе схем</del>, <del style="font-weight: bold; text-decoration: none;">построена полная система </del>преобразований, <del style="font-weight: bold; text-decoration: none;">позволяющая трансформировать друг в друга любую пару эквивалентных схем</del>. <del style="font-weight: bold; text-decoration: none;">Схемы Янова активно изучались в различных модификациях </del>и <del style="font-weight: bold; text-decoration: none;">обобщениях. В частности</del>, <del style="font-weight: bold; text-decoration: none;">Ратледж упростил доказательство разрешимости эквивалентности, моделируя простые схемы Янова конечными автоматами, дал независимое определение функциональной эквивалентности схем Янова и доказал равнообъемность функциональной </del>и <del style="font-weight: bold; text-decoration: none;">формальной эквивалентностей</del>.  </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Теория программирования]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Теория программирования]]</div></td></tr> </table> KVN http://pco.iis.nsk.su/grapp/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%81%D1%85%D0%B5%D0%BC_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC&diff=10449&oldid=prev KVN в 08:07, 19 марта 2014 2014-03-19T08:07:58Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ru"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Предыдущая версия</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Версия от 15:07, 19 марта 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Строка 1:</td> <td colspan="2" class="diff-lineno">Строка 1:</td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Понятие схемы программ принадлежит А.А. Ляпунову и было введено им в 1953 г., исходя из общей концепции необходимости и возможности формализации процесса программирования. Первыми "заказчиками" математических моделей программ стали разработчики трансляторов, которые в конце 50-х и начале 60-х годов столкнулись с необходимостью обоснования алгоритмов оптимизирующей трансляции и доказательства их корректности. В настоящее время теория схем программ - это широко разветвленная область исследования, содержащая много фундаментальных результатов не только по операторным моделям последовательных программ, но и по рекурсивным схемам и схемам параллельных программ. </ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Первым всесторонне исследованным классом схем программ были схемы Янова. В работах Ю.И. Янова впервые выделены и формализованы основные компоненты теории схем и, в первую очередь, - понятие схемы программ и отношение эквивалентности. Яновым были найдены алгоритмы распознавания эквивалентности в этом классе схем, построена полная система преобразований, позволяющая трансформировать друг в друга любую пару эквивалентных схем. Схемы Янова активно изучались в различных модификациях и обобщениях. В частности, Ратледж упростил доказательство разрешимости эквивалентности, моделируя простые схемы Янова конечными автоматами, дал независимое определение функциональной эквивалентности схем Янова и доказал равнообъемность функциональной и формальной эквивалентностей. </ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Теория программирования]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Теория программирования]]</div></td></tr> </table> KVN http://pco.iis.nsk.su/grapp/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%81%D1%85%D0%B5%D0%BC_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC&diff=5714&oldid=prev KVN: Создана новая страница размером Категория:Теория программирования 2010-11-23T11:54:31Z <p>Создана новая страница размером <a href="/grapp/index.php/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F" title="Категория:Теория программирования">Категория:Теория программирования</a></p> <p><b>Новая страница</b></p><div>[[Категория:Теория программирования]]</div> KVN