https://discopal.ispras.ru/index.php?action=history&feed=atom&title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5%3A%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE_%D0%BE%D0%B1_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B0%D1%85._%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8%2F%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B8%2F%D0%A0%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BA%D0%BE%D0%BD%D0%BA%D0%B0%D1%82%D0%B5%D0%BD%D0%B0%D1%86%D0%B8%D0%B8%2Fc000103 2026-05-01T03:08:25Z История изменений этой страницы в вики MediaWiki 1.26.4 https://discopal.ispras.ru/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE_%D0%BE%D0%B1_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B0%D1%85._%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B8/%D0%A0%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BA%D0%BE%D0%BD%D0%BA%D0%B0%D1%82%D0%B5%D0%BD%D0%B0%D1%86%D0%B8%D0%B8/c000103&diff=12935&oldid=prev 2020-10-11T13:33:09Z

<p>StasFomin переименовал страницу <a href="/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE_%D0%BE%D0%B1_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B0%D1%85._%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8/%D0%A0%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BA%D0%BE%D0%BD%D0%BA%D0%B0%D1%82%D0%B5%D0%BD%D0%B0%D1%86%D0%B8%D0%B8/c000103&amp;action=edit&amp;redlink=1&amp;section=new" class="new" title="Обсуждение:Формально об алгоритмах. Вычислительные модели/Разрешимость конкатенации/c000103 (страница не существует)">Обсуждение:Формально об алгоритмах. Вычислительные модели/Разрешимость конкатенации/c000103</a> в [[Обсуждение:Ф…</p> <table class='diff diff-contentalign-left'> <tr style='vertical-align: top;' lang='ru'> <td colspan='1' style="background-color: white; color:black; text-align: center;">← Предыдущая</td> <td colspan='1' style="background-color: white; color:black; text-align: center;">Версия 13:33, 11 октября 2020</td> </tr><tr><td colspan='2' style='text-align: center;' lang='ru'><div class="mw-diff-empty">(нет различий)</div> </td></tr></table>

StasFomin https://discopal.ispras.ru/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE_%D0%BE%D0%B1_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B0%D1%85._%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B8/%D0%A0%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BA%D0%BE%D0%BD%D0%BA%D0%B0%D1%82%D0%B5%D0%BD%D0%B0%D1%86%D0%B8%D0%B8/c000103&diff=5613&oldid=prev 2017-03-14T23:08:54Z

<p>Новый комментарий от Qwerty: Пусть слово w = ab, a /in L1, b /in L2. Пусть |w| = n. Разбиваем w на подслова разными способами,…</p> <p><b>Новая страница</b></p><div>Пусть слово w = ab, a /in L1, b /in L2. <br /> <br /> Пусть |w| = n. Разбиваем w на подслова разными способами, запускаем первые подслова на машине, принимающей L1, если L1 выдала ДА, запускаем второе подслово на L2.<br /> <br /> Рано или поздно разобьем слово на ab, обе машины скажут ДА, слово примется. Если слово не лежит в конкантенации, значит перебрав все варианты разбиения<br /> <br /> не получим L1=1 &amp;&amp; L2=1 - делаем вывод, что слово не принадлежит конкантенации.<br /> <br /> Конкантенация разрешима<br /> {{wl-comment: }}</div>

Qwerty