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 computability - Это страница 159 - GeneraCodice
Доказательство того, что $ {⟨m⟩ ∣ l (m) mbox {Is context-Free} } $ не является (ко-) рекурсивно перечисляемое
https://www.generacodice.com/ru/articolo/1096284/доказательство-того-что-m-l-m-mbox-is-context-free-не-является-ко-рекурсивно-перечисляемое
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
Почему эта неразрешимая проблема не существует в NP?
https://www.generacodice.com/ru/articolo/1096129/почему-эта-неразрешимая-проблема-не-существует-в-np
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
$ L (m) = l $, где $ m $ - это $ tm $, которая движется только на правую сторону, так что $ l $ - это регулярно
https://www.generacodice.com/ru/articolo/1095930/-l-m-l-где-m-это-tm-которая-движется-только-на-правую-сторону-так-что-l-это-регулярно
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
Существуют ли неразрешимые свойства автоматов, не заполненных Tuging,?
https://www.generacodice.com/ru/articolo/1095778/существуют-ли-неразрешимые-свойства-автоматов-не-заполненных-tuging
computability
-
automata
-
undecidability
cs.stackexchange
Сопоставление сокращений в дополнение к $ _ {tm} $
https://www.generacodice.com/ru/articolo/1095603/сопоставление-сокращений-в-дополнение-к-tm
computability
-
proof-techniques
-
reductions
cs.stackexchange
Сократимость Тьюринга подразумевает снижение картирования
https://www.generacodice.com/ru/articolo/1095496/сократимость-тьюринга-подразумевает-снижение-картирования
turing-machines
-
computability
-
reductions
cs.stackexchange
Если А сопоставлено с уменьшенным до B, то комплемент A имеет картирование, уменьшаемое до комплемента B
https://www.generacodice.com/ru/articolo/1095397/если-а-сопоставлено-с-уменьшенным-до-b-то-комплемент-a-имеет-картирование-уменьшаемое-до-комплемента-b
complexity-theory
-
computability
-
reductions
cs.stackexchange
Субзагрузчик не является дознаваемым Тьюрингом, или это может быть?
https://www.generacodice.com/ru/articolo/1095206/субзагрузчик-не-является-дознаваемым-тьюрингом-или-это-может-быть
computability
cs.stackexchange
Что такое со-что-то?
https://www.generacodice.com/ru/articolo/1095099/что-такое-со-что-то
complexity-theory
-
terminology
-
computability
cs.stackexchange
Что является хорошей ссылкой, чтобы узнать о системах перехода штата?
https://www.generacodice.com/ru/articolo/1095045/что-является-хорошей-ссылкой-чтобы-узнать-о-системах-перехода-штата
computability
-
automata
-
computation-models
-
reference-request
cs.stackexchange
«
156
157
158
159
160
161
»
Результаты найдены: 1630