Tag halting-problem - Это страница 33 - GeneraCodice

Показывая функцию =? невозможно

https://www.generacodice.com/ru/articolo/1110090/показывая-функцию-невозможно
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Почему $ a_ text {tm} le_m text {HALTING} LE_M TEXT {HALTING}^ VAREPSILON $?

https://www.generacodice.com/ru/articolo/1108714/почему-a-text-tm-le-m-text-halting-le-m-text-halting-varepsilon
  turing-machines  -  halting-problem  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Определение классификации языков

https://www.generacodice.com/ru/articolo/1108250/определение-классификации-языков
  turing-machines  -  halting-problem  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

Какое полезное решение дает проблема остановки для вычислений?

https://www.generacodice.com/ru/articolo/1102491/какое-полезное-решение-дает-проблема-остановки-для-вычислений
  terminology  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Показывая, что набор TMS, которые дважды посещают начало

https://www.generacodice.com/ru/articolo/1098004/показывая-что-набор-tms-которые-дважды-посещают-начало
  turing-machines  -  halting-problem  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Всегда ли некалирующая машина зацикливается?

https://www.generacodice.com/ru/articolo/1097592/всегда-ли-некалирующая-машина-зацикливается
  turing-machines  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Существует ли какая-либо конкретная связь между теоремой Геделя о неполноте, проблемой остановки и универсальными машинами Тьюринга?

https://www.generacodice.com/ru/articolo/1091824/существует-ли-какая-либо-конкретная-связь-между-теоремой-геделя-о-неполноте-проблемой-остановки-и-универсальными-машинами-тьюринга
  logic  -  computability  -  halting-problem  -  incompleteness
cs.stackexchange cs.stackexchange

Почему не может быть программа, которая проверяет другую программу

https://www.generacodice.com/ru/articolo/876601/почему-не-может-быть-программа-которая-проверяет-другую-программу
  turing-machines  -  turing-complete  -  halting-problem
StackOverflow StackOverflow

Существует ли «достаточно хорошее» решение проблемы остановки?

https://www.generacodice.com/ru/articolo/425703/существует-ли-достаточно-хорошее-решение-проблемы-остановки
  halting-problem
StackOverflow StackOverflow

Останавливаются ли все регулярные выражения?

https://www.generacodice.com/ru/articolo/245993/останавливаются-ли-все-регулярные-выражения
  regex  -  halting-problem
StackOverflow StackOverflow
Результаты найдены: 342
scroll top