Летопись МИФИ

Против жуликов и воров


ЕГЭ-2020
Тесты ЕГЭ Онлайн
Задачи ЕГЭ по математике
Решения ЕГЭ по математике

Вступительные экзамены и специальности
Фишки для Корума:
Рейтинг пользователей Корума
Настроение • Модераторы
Темы • Картина дня • Realtime
Прочие фишки:
Нецензурная брань
Народная орфография
Морзянка онлайн • Калькулятор
Анаграммы • Игра в города

Загрузка календаря

Новые записи

20.05Задача про фермера и его кредит
26.01Актуализация сервисов ЕГЭ по математике 2014 года
05.11Поломалось
28.08Смена парадигмы
18.07Как вести себя в приличном обществе, предварительно обмочив штаны
оглавление »

Лучшие записи

1.Математическое порно1554
2.Ответы ко всем задачам ЕГЭ по математике 2010 года792
3.Тесты ЕГЭ Онлайн515
4.Результаты ЕГЭ по математике367
5.Результаты ЕГЭ по русскому языку268

О чем тут?

NX VBAB Webometrics igjhs А1-08 Абитуриенты Бачинский ВКонтакте Ващенифтему Волга Диплом Дрессировка преподов Дума ЕГЭ Жизнь Забабахал Инновации История Кафедра 26 Кларк Корум Лженаука МИФИ МИФИсты Морзянка НИЯУ Нанотехнологии Наука Образование Омоймоск ПЦ Поздравляю Поиск Президент Преподы Приколы Программное обеспечение Рейтинги Русский язык Сессия Смерть Статистика Стихи Сувениринг Тест Учеба Учебные материалы ФЯУ Физтех Фотки Ядерщики матанализ

Комментарии

Анаграммы
  24 июня 2019 (Михаил)

Финансовая пирамида за 10 рублей
  26 мая 2019 (Alexander Gavin)

Математическое порно
  16 января 2019 (Женя)

Ответы ко всем задачам ЕГЭ по математике 2010 года
  15 января 2019 (Вапрос)

Проверь, как быстро ты печатаешь
  7 января 2019 (карина)

Сквернословия псто
  11 мая 2018 (Ivan Arkharov)

В помощь юному радисту: Морзянка 1.0
  24 марта 2018 (сергей радист)

Карта МИФИ 2.0
  13 марта 2018 (vova)

Каким будет ЕГЭ по математике в 2010 году
  11 марта 2018 (Миша)

Гвозди бы делать из этих людей
  5 января 2018 (нотилос)

$kib@t®onЪ
Сейчас на скибатроне
Шедевры
Я ищу слово,  «» 

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
a b c d e f g h i j k l m n o p q r s t u v w x y z

Слово «mtt»
впервые сказано пользователем Nemo 22.01.2009 в 19:02,
и с тех пор употреблялось 35 раз.
СообщенияПользователиПользователи (top10)

Сообщения со словом
«mtt»

Запрос выполнился за 0.0554 сек.
  1. 23.12.2009, 20:17. champion в теме
    «8928 какой регион»
    http mtt ru info def index wbp def 928 operator
  2. 22.01.2009, 19:02. Nemo в теме
    «Теорема Кантора: конец векового спора»
    ... машина-лента t-t докажем наличие соответствующей машины mtt работающей на чистой ленте т 1 5 2 теорема задача об остановке произвольной машины тьюринга на пустой ленте алгоритмически неразрешима доказательство для каждой пары машина-лента t-t докажем наличие соответствующей задачи остановки на пустой ленте для некоторой другой машины предположим mtt машина mtt строится непосредственно по описанию t и t если диаграмму состояний т дополнить последовательностью новых состояний предположим что для пары t t в некоторый момент времени лента выглядит таким образом рис 1 8 r1 r2 rm rm 1 курсор здесь rm 2 rn рис 1 8 лента машины т в выбранной момент времени новая машина mtt начинает работу на пустой ленте и работает по следующей программе s1 r1 r s2 s2 r2 r s3 sm rm r sm 1 sm 1 x r sm 2 sm 2 rm 2 r sm 3 sn rn l sх sх rn-1 rn-1 l sх sх rn-2 rn-2 l sх sх rm 2 rm 2 l sх sх х rm 1 l s0 s0 rm далее работа аналогично машине т на ленте t где x некоторая буква в других случаях не встречающаяся на входной ленте t s1 sn sх новые состояния машины mtt которых не было в машине т т о машина mtt при запуске на пустой ленте эквивалента машине т работающей на ленте t так как по сути машина mtt просто печатает копию ленты t на своей ленте затем выбирает нужную позицию и после этого становится полностью идентичной машине т значит mtt и т эквивалентные машины предположим что задача об остановке машины на чистой ленте алгоритмически разрешима значит ее можно решить и применительно к машине mtt начинающей работу на чистой ленте соответственно такая задача решается и для машины т на ленте t что есть противоречие с доказанным в теореме 1 5 1 утверждением о том что для произвольной машины т задача остановки при обработке произвольного слова t алгоритмически неразрешима отсюда следует что задача об остановке машины на чистой ленте алгоритмически неразрешима q e d в данном доказательстве используется косвенный метод называемый методом сведения в п 1 5 1 была доказана неразрешимость проблемы останова для произвольных пар т t только что показано что каждой паре т t соответствует легко конструируемая машина mtt которая останавливается на пустой ленте тогда и только тогда когда имеет место останов пары т t способность решать частные проблемы останова т пустая лента которая включает все ситуации mtt пустая лента предоставила бы возможность решить...

← раньше

позже →


Рейтинг блогов



 

откуда • куда • где • eureka!
Бездарно потраченное время:
103966 дней