самоусложнение алгоритмов

Nov 01, 2017 12:17

1. Нейман показал, что возможно самовоспроизведение автоматов ( Read more... )

искин

Leave a comment

Comments 17

realurix November 1 2017, 13:10:09 UTC
Что такое автомат Неймана не знает, наверноеЮ никто кроме Вас. Есть автоматы Мили и Мура, но для них строго доказано, что они суть одно и то же. Если имеете в виду автомат Улама-Неймана, то ничего более мощного, чем машина Тьюринга пока не придумано. Строго доказано, что любой из автоматов Мили, Мура или Улама-Тьюринга всего может быть представлен эквивалентной машиной Тьюринга.

Что касается пункта 3, то посмотрите на всякий случай теорему Клини. Есть ещё ряд очень интересных теорем. Например, теорема о добавлении в детерминированный автомат с N состояниями нового состояния, в результате после детерминизации нового автомата число его состояний может быть равно 2**(NТ+1).

Reply

deep_econom November 1 2017, 13:21:41 UTC
***Что такое автомат Неймана не знает, наверноеЮ никто кроме Вас

это моя ошибка, надо было указать, что это автомат из книги Дж. фон Нейман, Теория самовоспроизводящихся автоматов. М.: «Мир», 1971.

исправлю в тексте

upd

Клеточный автомат фон Неймана - клеточный автомат, разработанный фон Нейманом при содействии Станислава Улама для исследования возможности создания самовоспроизводящихся машин.
/из вики/ ссыль была в тексте

нет нужды текст исправлять
хотя я могу с вами согласиться, что такого термина ранее не было, но сейчас могу сослаться на викимусорку
меня такое определение устраивает

Reply

realurix November 1 2017, 13:46:27 UTC
> что такого термина ранее не было, но сейчас могу сослаться на викимусорку
Викизнания - это та же Гипотенуза река Советского Союза. Или, если хотите, викиневежество. Я туда иногда заглядываю, но отношусь крайне осторожно к этим викизнаниям.
Прошу прощения за описку, должен быть автомат Улама-Неймана, а не Улама-Тьюринга.

Если уж так хочется поломать голову над интересными проблемами, то посмотрите проблему "P vs NP". Особое внимание обратите на историю её появления. ;-))
Цитирую: "На днях Норберт Блюм опубликовал на архиве препринт с названием «A Solution of the P versus NP Problem». Таким образом Блюм претендует на решение одной из задач тысячелетия, за которую кроме почестей полагается 1 миллион долларовИли можете поискать ошибку в его рассуждениях. ;-)) Она хорошо замаскирована, но она там есть. Или придётся отменять теоремы Гёделя. Они для формальных систем имеют такое же значение, как теорема Остроградского-Гаусса для физики, поскольку является математическим изложением первого начала термодинамики (закон сохранения энергии), ( ... )

Reply

deep_econom November 1 2017, 13:24:00 UTC
***Строго доказано, что любой из автоматов Мили, Мура или Улама-Тьюринга всего может быть представлен эквивалентной машиной Тьюринга.

это известные вещи

***Что касается пункта 3, то посмотрите на всякий случай теорему Клини.

с какой целью посмотреть? разверните мысль

Reply


Leave a comment

Up