Проблема - остановка
Cтраница 1
Проблема остановки - это проблема построения систематического метода - эффективной процедуры - для выявления машин Тьюринга, которые, будучи запущенными в начальном состоянии на пустой ленте, никогда не остановятся. [1]
Проблема остановки сводима к 10 - й проблеме Гильберта. [2]
Проблема остановки далеко не единственная среди неразрешимых проблем. Есть много математических задач, общее решение которых было бы очень полезным, однако доказана их алгоритмическая неразрешимость. [3]
Неразрешимость проблемы остановки - прямое следствие того, что вычисляемая универсальной машиной U функция обязательно частичная. Точнее, в § 2.2.10 показано существование программы Р с кодом Р п, таким, что U ( п, п) не определено. [4]
Entscheidungsproblem) проблема остановки Одна из проблем разрешимости, исследовавшаяся Тьюрингом. Turing machine), на вход которой подается воздействие X. После запуска машины могут возникнуть две ситуации: машина остановится через конечное число шагов или машина будет работать бесконечно. Имеется ля возможность определить, какая из этих ситуаций реализуется на практике. В этом вопросе и содержится проблема остановки. На самом деле эффективная процедура определения возможности остановки заданной машины Тьюринга при - заданном входном воздействии отсутствует. О проблеме остановки известно, что она неразрешима. [5]
 |
Схема Патерсона всегда останавливается. [6] |
Ясно, что проблемы остановки и расходимости - частный случай проблемы эквивалентности. [7]
Предположим, что проблема остановки разрешима; будут ли тогда существовать другие неразрешимые проблемы. [8]
Докажите такое следствие: проблема остановки неразрешима. [9]
 |
Схема Патерсона всегда останавливается. [10] |
Патерсон и А. А. Лети-чевский, проблемы остановки, расходимости и эквивалентности в классе стандартных схем программ алгоритмически не разрешимы. [11]
Если тезис Черча верен, то проблема остановки неразрешима. [12]
Хорошо изложенное объяснение того, почему проблема остановки неразрешима. Доказывает следующую фундаментальную теорему: любой компьютерный язык, в котором есть условное наклонение и определения через рекурсивную функцию, достаточно мощный, чтобы запрограммировать собственного интерпретатора, не может быть использован для того, чтобы запрограммировать собственную функцию остановки. [13]
В данной статье показаны возможности инженерного решения проблемы остановки трещин в конструкциях. Разработаны методы для измерения величин трещиностойкости, которые управляют процессом остановки трещины в толстостенных элементах конструкций. Для большого класса конструкций могут быть проанализированы пути применения этих величин трещиностойкости - как на основе динамического, так и на основе более приближенного, статического, подходов. Такие возможности существуют сейчас в основном для условий линейно-упругого деформирования, соответствующих плоской деформации. Для решения практических задач об остановке трещины при высоких напряжениях, распространение которой сопровождается большой пластической деформацией, необходимы дополнительные исследования. Они включают изучение пластического поведения материала и его взаимодействия с трещиной в течение коротких промежутков времени при высоких скоростях деформирования, типичных для быстрого роста и остановки трещины. Необходимы также методы анализа остановки трещины при смешанном разрушении и разрушении полностью путем среза. Исследования корреляций с результатами стандартных испытаний, таких, как испытания по Шарпи, испытания падающим грузом и обычные испытания для определения трещиностойкости, могут со временем облегчить задачу оценки трещиностойкоети по отношению к остановке. [14]
Основополагающей теоретической и практической проблемой для информатика является проблема остановки. Она допускает множество вариантов. [15]
Страницы: 1 2 3 4