Вычислимость

Вычислимость Проблема остановки — неразрешимая задача в теории вычислимости.  Машина Тьюринга является наиболее известной моделью вычислений, способной решить проблему остановки.  […]

Вычислимость

  • Проблема остановки — неразрешимая задача в теории вычислимости. 
  • Машина Тьюринга является наиболее известной моделью вычислений, способной решить проблему остановки. 
  • Существуют языки, которые не поддаются рекурсивному перечислению, включая дополнение к языку остановки. 
  • Модели, основанные на параллелизме, такие как параллельная машина произвольного доступа и сеть Петри, также не реализуют математических функций, которые не могут быть выполнены машинами Тьюринга. 
  • Тезис Черча-Тьюринга предполагает, что не существует эффективной вычислительной модели, способной вычислить больше математических функций, чем машина Тьюринга. 

Полный текст статьи:

Вычислимость — Википедия

Оставьте комментарий

Прокрутить вверх