Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag undecidability - Это страница 5 - GeneraCodice
Усилимость машин Turgines, которые никогда не двигают головы мимо любой входной строки
https://www.generacodice.com/ru/articolo/2465509/усилимость-машин-turgines-которые-никогда-не-двигают-головы-мимо-любой-входной-строки
turing-machines
-
computability
-
undecidability
cs.stackexchange
Разместимость равенства и звукости выражений с участием элементарных арифметических и экспонентов
https://www.generacodice.com/ru/articolo/2465430/разместимость-равенства-и-звукости-выражений-с-участием-элементарных-арифметических-и-экспонентов
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
Преодоление проблемы проблемы против практики
https://www.generacodice.com/ru/articolo/2464468/преодоление-проблемы-проблемы-против-практики
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/ru/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
Как вы могли бы «решить» проблема остановки, если, гипотетически, числа оживленных бобров были «маленькими»?
https://www.generacodice.com/ru/articolo/2462542/как-вы-могли-бы-решить-проблема-остановки-если-гипотетически-числа-оживленных-бобров-были-маленькими
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Разница между регулярной грамматикой и CFG в создании истории вычислений и $ \ Sigma ^ * $
https://www.generacodice.com/ru/articolo/2459293/разница-между-регулярной-грамматикой-и-cfg-в-создании-истории-вычислений-и-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/ru/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
Задавая задачу для фиксированного машины для вытеснения и фиксированного ввода
https://www.generacodice.com/ru/articolo/2457906/задавая-задачу-для-фиксированного-машины-для-вытеснения-и-фиксированного-ввода
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
показать, что этот решительный набор $ C $ существует
https://www.generacodice.com/ru/articolo/2454714/показать-что-этот-решительный-набор-c-существует
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/ru/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
«
2
3
4
5
6
7
»
Результаты найдены: 685