http://pco.iis.nsk.su/grapp/index.php?title=%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D1%81_%D1%80%D0%B0%D0%B7%D0%BC%D0%B5%D1%82%D0%BA%D0%BE%D0%B9&feed=atom&action=history Схема с разметкой - История изменений 2024-03-28T18:58:22Z История изменений этой страницы в вики MediaWiki 1.39.3 http://pco.iis.nsk.su/grapp/index.php?title=%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D1%81_%D1%80%D0%B0%D0%B7%D0%BC%D0%B5%D1%82%D0%BA%D0%BE%D0%B9&diff=9703&oldid=prev KEV в 04:53, 12 сентября 2011 2011-09-12T04:53:50Z <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;">Версия от 11:53, 12 сентября 2011</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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;[[Data flow analysis frameworks]]&#039;&#039;) <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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;[[Data flow analysis frameworks]]&#039;&#039;) <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> <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></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></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>решение &#039;&#039;[[задача анализа свойств состояний|задачи анализа свойств состояний]]&#039;&#039;.</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>решение &#039;&#039;[[задача анализа свойств состояний|задачи анализа свойств состояний]]&#039;&#039;.</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;"><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" 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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; <del style="font-weight: bold; text-decoration: none;">- </del>это пятерка &lt;math&gt;(G,L,F,M,a_0)&lt;/math&gt;, где &lt;math&gt;G&lt;/math&gt; <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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; <ins style="font-weight: bold; text-decoration: none;">— </ins>это пятерка &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>(G,L,F,M,a_0)&lt;/math&gt;, где &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>G&lt;/math&gt; <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>[[уграф]]; &lt;math&gt;L&lt;/math&gt; <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>[[уграф]]; &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>L&lt;/math&gt; <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"></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>отношением порядка &lt;math&gt;\sqsubseteq&lt;/math&gt;, не содержащее бесконечных</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>отношением порядка &lt;math&gt;\sqsubseteq&lt;/math&gt;, не содержащее бесконечных</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>[[цепь|цепей]] и являющееся полурешеткой с  &lt;math&gt;0&lt;/math&gt; и  &lt;math&gt;1&lt;/math&gt;</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>[[цепь|цепей]] и являющееся полурешеткой с  &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>0&lt;/math&gt; и  &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>1&lt;/math&gt;</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>относительно пересечения &lt;math&gt;\sqcap&lt;/math&gt;; &lt;math&gt;F&lt;/math&gt; <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>относительно пересечения &lt;math&gt;\sqcap&lt;/math&gt;; &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>F&lt;/math&gt; <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> <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>состоит из монотонных функций &lt;math&gt;f: L \rightarrow L&lt;/math&gt; и</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>состоит из монотонных функций &lt;math&gt;f: L \rightarrow L&lt;/math&gt; и</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> <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>содержит тождественную функцию и для любого &lt;math&gt;a\in L&lt;/math&gt; такую</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>содержит тождественную функцию и для любого &lt;math&gt;a\in L&lt;/math&gt; такую</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>функцию &lt;math&gt;f \in F&lt;/math&gt;, что &lt;math&gt;a=f(0)&lt;/math&gt;; &lt;math&gt;a_0\in L&lt;/math&gt; <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>функцию &lt;math&gt;f \in F&lt;/math&gt;, что &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>a=f(0)&lt;/math&gt;; &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>a_0\in L&lt;/math&gt; <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> <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>&lt;math&gt;M&lt;/math&gt; <del style="font-weight: bold; text-decoration: none;">- </del>функция, ставящая в соответствие каждой [[дуга|дуге]] &lt;math&gt;u&lt;/math&gt;</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>&lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>M&lt;/math&gt; <ins style="font-weight: bold; text-decoration: none;">— </ins>функция, ставящая в соответствие каждой [[дуга|дуге]] &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>u&lt;/math&gt;</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>анализируемого уграфа &lt;math&gt;G&lt;/math&gt;</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>анализируемого уграфа &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>G&lt;/math&gt;</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>функцию эффекта дуги &lt;math&gt;M(u)\in F&lt;/math&gt;.</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>функцию эффекта дуги &lt;math&gt;M(u)\in F&lt;/math&gt;.</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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; &#039;&#039;хорошо определена&#039;&#039;, если существуют</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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; &#039;&#039;хорошо определена&#039;&#039;, если существуют</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>[[алгоритм|алгоритмы]], позволяющие для любых &lt;math&gt;a,b\in L&lt;/math&gt; и &lt;math&gt;f\in F&lt;/math&gt;</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>[[алгоритм|алгоритмы]], позволяющие для любых &lt;math&gt;a,b\in L&lt;/math&gt; и &lt;math&gt;f\in F&lt;/math&gt;</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>вычислять элементы &lt;math&gt;a\sqcap b&lt;/math&gt; и  &lt;math&gt;f(a)&lt;/math&gt;.</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>вычислять элементы &lt;math&gt;a\sqcap b&lt;/math&gt; и  &lt;math&gt;<ins style="font-weight: bold; text-decoration: none;">\,</ins>f(a)&lt;/math&gt;.</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;"><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" 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>&#039;&#039;[[Схема свойств состояний]]&#039;&#039;.</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>&#039;&#039;[[Схема свойств состояний]]&#039;&#039;.</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;"><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> <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>&#039;&#039;[[Задача анализа свойств состояний]].&#039;&#039;</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>&#039;&#039;[[Задача анализа свойств состояний]].&#039;&#039;</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> <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;">/88]</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;">В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.</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> </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;"><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> <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> KEV http://pco.iis.nsk.su/grapp/index.php?title=%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D1%81_%D1%80%D0%B0%D0%B7%D0%BC%D0%B5%D1%82%D0%BA%D0%BE%D0%B9&diff=5706&oldid=prev KVN: /* Литература */ 2010-11-23T11:41:38Z <p><span dir="auto"><span class="autocomment">Литература</span></span></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;">Версия от 18:41, 23 ноября 2010</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l28">Строка 28:</td> <td colspan="2" class="diff-lineno">Строка 28:</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> <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>[Касьянов/88]</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>[Касьянов/88]</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> </table> KVN http://pco.iis.nsk.su/grapp/index.php?title=%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D1%81_%D1%80%D0%B0%D0%B7%D0%BC%D0%B5%D1%82%D0%BA%D0%BE%D0%B9&diff=4784&oldid=prev KEV в 06:51, 3 февраля 2010 2010-02-03T06:51:32Z <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;">Версия от 13:51, 3 февраля 2010</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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;Data flow analysis frameworks&#039;&#039;) -  </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>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;<ins style="font-weight: bold; text-decoration: none;">[[</ins>Data flow analysis frameworks<ins style="font-weight: bold; text-decoration: none;">]]</ins>&#039;&#039;) -  </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 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>, ориентированная на извлечение</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>свойств потока данных в программе (в схеме программы), <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>свойств потока данных в программе (в схеме программы), -</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>решение &#039;&#039;задачи анализа свойств состояний&#039;&#039;.</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>решение &#039;&#039;<ins style="font-weight: bold; text-decoration: none;">[[задача анализа свойств состояний|</ins>задачи анализа свойств состояний<ins style="font-weight: bold; text-decoration: none;">]]</ins>&#039;&#039;.</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;"><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" 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>&#039;&#039;&#039;<del style="font-weight: bold; text-decoration: none;">С.ср.</del>&#039;&#039;&#039; <del style="font-weight: bold; text-decoration: none;">--</del>- это пятерка &lt;math&gt;(G,L,F,M,a_0)&lt;/math&gt;, где &lt;math&gt;G&lt;/math&gt; <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>&#039;&#039;&#039;<ins style="font-weight: bold; text-decoration: none;">Схема с разметкой</ins>&#039;&#039;&#039; - это пятерка &lt;math&gt;(G,L,F,M,a_0)&lt;/math&gt;, где &lt;math&gt;G&lt;/math&gt; -</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>уграф; &lt;math&gt;L&lt;/math&gt; <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>; &lt;math&gt;L&lt;/math&gt; - полурешетка свойств --- множество пометок с</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>отношением порядка &lt;math&gt;\sqsubseteq&lt;/math&gt;, не содержащее бесконечных</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>отношением порядка &lt;math&gt;\sqsubseteq&lt;/math&gt;, не содержащее бесконечных</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>цепей и являющееся полурешеткой с  &lt;math&gt;0&lt;/math&gt; и  &lt;math&gt;1&lt;/math&gt;</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>и являющееся полурешеткой с  &lt;math&gt;0&lt;/math&gt; и  &lt;math&gt;1&lt;/math&gt;</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>относительно пересечения &lt;math&gt;\sqcap&lt;/math&gt;; &lt;math&gt;F&lt;/math&gt; <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>относительно пересечения &lt;math&gt;\sqcap&lt;/math&gt;; &lt;math&gt;F&lt;/math&gt; - множество так</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 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>(свойств), которое</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>состоит из монотонных функций &lt;math&gt;f: L \rightarrow L&lt;/math&gt; и</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>состоит из монотонных функций &lt;math&gt;f: L \rightarrow L&lt;/math&gt; и</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> <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>содержит тождественную функцию и для любого &lt;math&gt;a\in L&lt;/math&gt; такую</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>содержит тождественную функцию и для любого &lt;math&gt;a\in L&lt;/math&gt; такую</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>функцию &lt;math&gt;f \in F&lt;/math&gt;, что &lt;math&gt;a=f(0)&lt;/math&gt;; &lt;math&gt;a_0\in L&lt;/math&gt; <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>функцию &lt;math&gt;f \in F&lt;/math&gt;, что &lt;math&gt;a=f(0)&lt;/math&gt;; &lt;math&gt;a_0\in L&lt;/math&gt; - начальная</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> <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>&lt;math&gt;M&lt;/math&gt; <del style="font-weight: bold; text-decoration: none;">--</del>- функция, ставящая в соответствие каждой дуге &lt;math&gt;u&lt;/math&gt;</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>&lt;math&gt;M&lt;/math&gt; - функция, ставящая в соответствие каждой <ins style="font-weight: bold; text-decoration: none;">[[дуга|</ins>дуге<ins style="font-weight: bold; text-decoration: none;">]] </ins>&lt;math&gt;u&lt;/math&gt;</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>анализируемого уграфа &lt;math&gt;G&lt;/math&gt;</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>анализируемого уграфа &lt;math&gt;G&lt;/math&gt;</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>функцию эффекта дуги &lt;math&gt;M(u)\in F&lt;/math&gt;.</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>функцию эффекта дуги &lt;math&gt;M(u)\in F&lt;/math&gt;.</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>&#039;&#039;&#039;<del style="font-weight: bold; text-decoration: none;">С.ср.</del>&#039;&#039;&#039; &#039;&#039;хорошо определена&#039;&#039;, если существуют</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>&#039;&#039;&#039;<ins style="font-weight: bold; text-decoration: none;">Схема с разметкой</ins>&#039;&#039;&#039; &#039;&#039;хорошо определена&#039;&#039;, если существуют</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>алгоритмы, позволяющие для любых &lt;math&gt;a,b\in L&lt;/math&gt; и &lt;math&gt;f\in F&lt;/math&gt;</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>, позволяющие для любых &lt;math&gt;a,b\in L&lt;/math&gt; и &lt;math&gt;f\in F&lt;/math&gt;</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>вычислять элементы &lt;math&gt;a\sqcap b&lt;/math&gt; и  &lt;math&gt;f(a)&lt;/math&gt;.</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>вычислять элементы &lt;math&gt;a\sqcap b&lt;/math&gt; и  &lt;math&gt;f(a)&lt;/math&gt;.</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;"><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" 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>Другое название --- &#039;&#039;Схема свойств состояний&#039;&#039;.</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>Другое название --- &#039;&#039;<ins style="font-weight: bold; text-decoration: none;">[[</ins>Схема свойств состояний<ins style="font-weight: bold; text-decoration: none;">]]</ins>&#039;&#039;.</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;"><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" 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>См. также &#039;&#039;Задача анализа свойств состояний.&#039;&#039;</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></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>&#039;&#039;<ins style="font-weight: bold; text-decoration: none;">[[</ins>Задача анализа свойств состояний<ins style="font-weight: bold; text-decoration: none;">]]</ins>.&#039;&#039;</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> <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>[Касьянов/88]</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>[Касьянов/88]</div></td></tr> </table> KEV http://pco.iis.nsk.su/grapp/index.php?title=%D0%A1%D1%85%D0%B5%D0%BC%D0%B0_%D1%81_%D1%80%D0%B0%D0%B7%D0%BC%D0%B5%D1%82%D0%BA%D0%BE%D0%B9&diff=4741&oldid=prev Glk: Создана новая страница размером '''Схема с разметкой''' (''Data flow analysis frameworks'') - модель (схемы) программы, ориенти... 2010-02-02T05:55:21Z <p>Создана новая страница размером &#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;Data flow analysis frameworks&#039;&#039;) - модель (схемы) программы, ориенти...</p> <p><b>Новая страница</b></p><div>&#039;&#039;&#039;Схема с разметкой&#039;&#039;&#039; (&#039;&#039;Data flow analysis frameworks&#039;&#039;) - <br /> модель (схемы) программы, ориентированная на извлечение<br /> свойств потока данных в программе (в схеме программы), ---<br /> решение &#039;&#039;задачи анализа свойств состояний&#039;&#039;.<br /> <br /> &#039;&#039;&#039;С.ср.&#039;&#039;&#039; --- это пятерка &lt;math&gt;(G,L,F,M,a_0)&lt;/math&gt;, где &lt;math&gt;G&lt;/math&gt; ---<br /> уграф; &lt;math&gt;L&lt;/math&gt; --- полурешетка свойств --- множество пометок с<br /> отношением порядка &lt;math&gt;\sqsubseteq&lt;/math&gt;, не содержащее бесконечных<br /> цепей и являющееся полурешеткой с &lt;math&gt;0&lt;/math&gt; и &lt;math&gt;1&lt;/math&gt;<br /> относительно пересечения &lt;math&gt;\sqcap&lt;/math&gt;; &lt;math&gt;F&lt;/math&gt; --- множество так<br /> называемых преобразователей пометок (свойств), которое<br /> состоит из монотонных функций &lt;math&gt;f: L \rightarrow L&lt;/math&gt; и<br /> является замкнутым относительно композиции функций и<br /> содержит тождественную функцию и для любого &lt;math&gt;a\in L&lt;/math&gt; такую<br /> функцию &lt;math&gt;f \in F&lt;/math&gt;, что &lt;math&gt;a=f(0)&lt;/math&gt;; &lt;math&gt;a_0\in L&lt;/math&gt; --- начальная<br /> пометка;<br /> &lt;math&gt;M&lt;/math&gt; --- функция, ставящая в соответствие каждой дуге &lt;math&gt;u&lt;/math&gt;<br /> анализируемого уграфа &lt;math&gt;G&lt;/math&gt;<br /> функцию эффекта дуги &lt;math&gt;M(u)\in F&lt;/math&gt;.<br /> &#039;&#039;&#039;С.ср.&#039;&#039;&#039; &#039;&#039;хорошо определена&#039;&#039;, если существуют<br /> алгоритмы, позволяющие для любых &lt;math&gt;a,b\in L&lt;/math&gt; и &lt;math&gt;f\in F&lt;/math&gt;<br /> вычислять элементы &lt;math&gt;a\sqcap b&lt;/math&gt; и &lt;math&gt;f(a)&lt;/math&gt;.<br /> <br /> Другое название --- &#039;&#039;Схема свойств состояний&#039;&#039;.<br /> <br /> См. также &#039;&#039;Задача анализа свойств состояний.&#039;&#039;<br /> ==Литература==<br /> [Касьянов/88]</div> Glk