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 - Это страница 4 - GeneraCodice
Доказательство неразрешенности для языка, который содержит строку с определенным синтаксисом
https://www.generacodice.com/ru/articolo/2468930/доказательство-неразрешенности-для-языка-который-содержит-строку-с-определенным-синтаксисом
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is a 'discrete language' well-defined?
https://www.generacodice.com/ru/articolo/2468573/is-a-discrete-language-well-defined
discrete-mathematics
-
formal-languages
-
undecidability
cs.stackexchange
$ Nhalt $ неразрешимо даже если $ m $ останавливает на вход $ w $ в конечных шагах
https://www.generacodice.com/ru/articolo/2468107/-nhalt-неразрешимо-даже-если-m-останавливает-на-вход-w-в-конечных-шагах
complexity-theory
-
turing-machines
-
undecidability
cs.stackexchange
Решить, имеет ли язык слова данного размера
https://www.generacodice.com/ru/articolo/2466712/решить-имеет-ли-язык-слова-данного-размера
computability
-
formal-languages
-
undecidability
cs.stackexchange
Усилимость машин 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
«
1
2
3
4
5
6
»
Результаты найдены: 685