http://neerc.ifmo.ru/wiki/index.php?action=history&feed=atom&title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0%3A%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0 2026-08-03T23:14:43Z История изменений этой страницы в вики MediaWiki 1.30.0 http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76791&oldid=prev 2021-01-08T10:53:49Z

<p>‎<span dir="auto"><span class="autocomment">Источники информации</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 10:53, 8 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l104" >Строка 104:</td> <td colspan="2" class="diff-lineno">Строка 104:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman'' «Introduction to Automata Theory, Languages, and Computation», 2/E</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman'' «Introduction to Automata Theory, Languages, and Computation», 2/E</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''Christoph Neumann'' «Converting Deterministic Finite Automata to Regular Expressions»</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''Christoph Neumann'' «Converting Deterministic Finite Automata to Regular Expressions»</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76788&oldid=prev 2021-01-08T10:45:11Z

<p>‎<span dir="auto"><span class="autocomment">Источники информации</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 10:45, 8 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l104" >Строка 104:</td> <td colspan="2" class="diff-lineno">Строка 104:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman'' «Introduction to Automata Theory, Languages, and Computation», 2/E</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman'' «Introduction to Automata Theory, Languages, and Computation», 2/E</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''Christoph Neumann'' «Converting Deterministic Finite Automata to Regular Expressions»</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* ''Christoph Neumann'' «Converting Deterministic Finite Automata to Regular Expressions»</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76786&oldid=prev 2021-01-08T10:43:39Z

<p>‎<span dir="auto"><span class="autocomment">См. Также</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 10:43, 8 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l99" >Строка 99:</td> <td colspan="2" class="diff-lineno">Строка 99:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&lt;tex&gt;R = R_1 + R_4= (ab+ba)^* (\varepsilon + (aa+bb) (a+b)^*)&lt;/tex&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&lt;tex&gt;R = R_1 + R_4= (ab+ba)^* (\varepsilon + (aa+bb) (a+b)^*)&lt;/tex&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Источники информации==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Источники информации==</div></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76714&oldid=prev 2021-01-07T21:47:33Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:47, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l20" >Строка 20:</td> <td colspan="2" class="diff-lineno">Строка 20:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:RegToAut.png|250px|thumb|center|рис. 2. <del class="diffchange diffchange-inline">Индуктивный </del>переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:RegToAut.png|250px|thumb|center|рис. 2. <ins class="diffchange diffchange-inline">Индукционный </ins>переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76712&oldid=prev 2021-01-07T21:43:44Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:43, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l11" >Строка 11:</td> <td colspan="2" class="diff-lineno">Строка 11:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:базис.png|150px|thumb|<del class="diffchange diffchange-inline">left</del>|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:базис.png|150px|thumb|<ins class="diffchange diffchange-inline">center</ins>|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l20" >Строка 20:</td> <td colspan="2" class="diff-lineno">Строка 20:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:RegToAut.png|250px|thumb|<del class="diffchange diffchange-inline">right</del>|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:RegToAut.png|250px|thumb|<ins class="diffchange diffchange-inline">center</ins>|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76710&oldid=prev 2021-01-07T21:42:48Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:42, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l11" >Строка 11:</td> <td colspan="2" class="diff-lineno">Строка 11:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:базис.png|<del class="diffchange diffchange-inline">200px</del>|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:базис.png|<ins class="diffchange diffchange-inline">150px</ins>|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Строка 18:</td> <td colspan="2" class="diff-lineno">Строка 18:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:RegToAut.png|<del class="diffchange diffchange-inline">200px</del>|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:RegToAut.png|<ins class="diffchange diffchange-inline">250px</ins>|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76709&oldid=prev 2021-01-07T21:42:09Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:42, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Строка 9:</td> <td colspan="2" class="diff-lineno">Строка 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Преобразование регулярного выражения в НКА===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Преобразование регулярного выражения в НКА===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис. Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td><td class='diff-marker'>+</td><td style="color:black; 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;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">{| cellpadding=&quot;3&quot;</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">|[[Файл:базис.png|200px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">|}</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i|S&lt;/tex&gt;, для некоторых выражений &lt;tex&gt;R_i&lt;/tex&gt; и &lt;tex&gt;S&lt;/tex&gt;. Тогда ему соответствует автомат, представленный на рис. 2.a. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_i|S&lt;/tex&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i|S&lt;/tex&gt;, для некоторых выражений &lt;tex&gt;R_i&lt;/tex&gt; и &lt;tex&gt;S&lt;/tex&gt;. Тогда ему соответствует автомат, представленный на рис. 2.a. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_i|S&lt;/tex&gt;</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l15" >Строка 15:</td> <td colspan="2" class="diff-lineno">Строка 19:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 class="diffchange diffchange-inline">[[Файл:базис.png|200px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] </del>[[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76707&oldid=prev 2021-01-07T21:40:59Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:40, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l15" >Строка 15:</td> <td colspan="2" class="diff-lineno">Строка 15:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{| cellpadding=&quot;3&quot;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>|[[Файл:базис.png|<del class="diffchange diffchange-inline">100px</del>|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] [[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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>|[[Файл:базис.png|<ins class="diffchange diffchange-inline">200px</ins>|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] [[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76706&oldid=prev 2021-01-07T21:40:32Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:40, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l14" >Строка 14:</td> <td colspan="2" class="diff-lineno">Строка 14:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>&#160;</div></td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">{| cellpadding=&quot;3&quot;</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>[[Файл:базис.png|100px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] [[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">|</ins>[[Файл:базис.png|100px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] [[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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 class="diffchange diffchange-inline">|}</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Пример===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Пример===</div></td></tr> </table>

Наталья Юльцова http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D1%86%D0%B0:%D0%9D%D0%B0%D1%82%D0%B0%D0%BB%D1%8C%D1%8F_%D0%AE%D0%BB%D1%8C%D1%86%D0%BE%D0%B2%D0%B0&diff=76705&oldid=prev 2021-01-07T21:38:56Z

<p>‎<span dir="auto"><span class="autocomment">Преобразование регулярного выражения в НКА</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr style="vertical-align: top;" lang="ru"> <td colspan="2" style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan="2" style="background-color: white; color:black; text-align: center;">Версия 21:38, 7 января 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Строка 8:</td> <td colspan="2" class="diff-lineno">Строка 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Преобразование регулярного выражения в НКА===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Преобразование регулярного выражения в НКА===</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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 colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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;">[[Файл:базис.png|100px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] </del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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;">[[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]] </del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис. Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Преобразование проводится структурной индукцией по выражению &lt;tex&gt;R&lt;/tex&gt;, следуя рекурсивному определению [[Регулярные языки: два определения и их эквивалентность| регулярных выражений]]. Необходимо рекурсивно &quot;спуститься&quot; вглубь языка &lt;tex&gt;L(R)&lt;/tex&gt;, дойдя до нулевого уровня - &lt;tex&gt;R_0&lt;/tex&gt;. Автоматы, распознающие &lt;tex&gt;L(R_0)&lt;/tex&gt; представлены на рис. 1, это базис. Далее строится выражение &lt;tex&gt;\mathrm{R_{i+1}}&lt;/tex&gt;, пока &lt;tex&gt;\mathrm{R_{i}} \ne R&lt;/tex&gt; следующим образом:</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l17" >Строка 17:</td> <td colspan="2" class="diff-lineno">Строка 14:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_iS&lt;/tex&gt;. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что &lt;tex&gt;R_i&lt;/tex&gt; уже построено, а &lt;tex&gt;S&lt;/tex&gt; строится по тому же алгоритму, что и &lt;tex&gt;R&lt;/tex&gt;, значит, возможно построить &lt;tex&gt;\mathrm{R_{i+1}} = R_iS&lt;/tex&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Выражение имеет вид &lt;tex&gt;R_i^*&lt;/tex&gt;. Используем автомат, представленный на рис. 2.в.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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">&#160;</td><td class='diff-marker'>+</td><td style="color:black; 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;">[[Файл:базис.png|100px|thumb|left|рис. 1. a. &lt;tex&gt;\varepsilon&lt;/tex&gt; б. &lt;tex&gt;\varnothing&lt;/tex&gt; в. &lt;tex&gt;a&lt;/tex&gt;]] [[Файл:RegToAut.png|200px|thumb|right|рис. 2. Индуктивный переход преобразования регулярного выражения в НКА]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Пример===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===Пример===</div></td></tr> </table>

Наталья Юльцова