УНИВЕРСАЛЬНЫЙ ФОРМАЛЬНЫЙ ИСПОЛНИТЕЛЬ
Соловова Любовь Владимировна, учитель информатики МБОУ «Университетский лицей»
Все, кто знаком с историей информатики, сразу поймут, что речь пойдет о Машине Поста и Машине Тьюринга. Почему проблема универсального формального исполнителя продолжает быть актуальной и до сегодняшнего дня?
Один из важнейших вопросов теоретической информатики звучит так: существует ли такой формальный исполнитель, с помощью которого можно имитировать любого формального исполнителя? Такого исполнителя естественно назвать универсальным.
Читать далее - УНИВЕРСАЛЬНЫЙ ФОРМАЛЬНЫЙ ИСПОЛНИТЕЛЬ
Соловова Любовь Владимировна, учитель информатики МБОУ «Университетский лицей»
Все, кто знаком с историей информатики, сразу поймут, что речь пойдет о Машине Поста и Машине Тьюринга. Почему проблема универсального формального исполнителя продолжает быть актуальной и до сегодняшнего дня?
Один из важнейших вопросов теоретической информатики звучит так: существует ли такой формальный исполнитель, с помощью которого можно имитировать любого формального исполнителя? Такого исполнителя естественно назвать универсальным.
Читать далее - УНИВЕРСАЛЬНЫЙ ФОРМАЛЬНЫЙ ИСПОЛНИТЕЛЬ