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 - Это страница 161 - GeneraCodice
Каковы возможные наборы длины слов на обычном языке?
https://www.generacodice.com/ru/articolo/1091307/каковы-возможные-наборы-длины-слов-на-обычном-языке
computability
-
finite-automata
-
formal-languages
-
regular-languages
cs.stackexchange
Есть ли «естественный» неразрешимый язык?
https://www.generacodice.com/ru/articolo/1091335/есть-ли-естественный-неразрешимый-язык
computability
-
automata
-
formal-languages
-
undecidability
cs.stackexchange
Почему общие функции не перечисляются?
https://www.generacodice.com/ru/articolo/1091523/почему-общие-функции-не-перечисляются
enumeration
-
computability
-
semi-decidability
cs.stackexchange
Решаемость префикса языка
https://www.generacodice.com/ru/articolo/1091556/решаемость-префикса-языка
computability
-
undecidability
cs.stackexchange
Как может быть определенным, есть ли у $ pi $ некоторая последовательность цифр?
https://www.generacodice.com/ru/articolo/1091722/как-может-быть-определенным-есть-ли-у-pi-некоторая-последовательность-цифр
computability
-
undecidability
cs.stackexchange
Существует ли какая-либо конкретная связь между теоремой Геделя о неполноте, проблемой остановки и универсальными машинами Тьюринга?
https://www.generacodice.com/ru/articolo/1091824/существует-ли-какая-либо-конкретная-связь-между-теоремой-геделя-о-неполноте-проблемой-остановки-и-универсальными-машинами-тьюринга
logic
-
computability
-
halting-problem
-
incompleteness
cs.stackexchange
Легко заявить о открытых проблемах в теории вычислений
https://www.generacodice.com/ru/articolo/1091844/легко-заявить-о-открытых-проблемах-в-теории-вычислений
computability
cs.stackexchange
Можно ли вывести строку в этой системе переписывания?
https://www.generacodice.com/ru/articolo/1091851/можно-ли-вывести-строку-в-этой-системе-переписывания
computability
-
term-rewriting
cs.stackexchange
Является ли взаимодействие более мощным, чем алгоритмы?
https://www.generacodice.com/ru/articolo/1091868/является-ли-взаимодействие-более-мощным-чем-алгоритмы
computability
-
computation-models
cs.stackexchange
Decidablity языков грамматики и автоматов
https://www.generacodice.com/ru/articolo/1092384/decidablity-языков-грамматики-и-автоматов
turing-machines
-
computability
-
formal-languages
-
regular-languages
-
context-free
cs.stackexchange
«
158
159
160
161
162
163
»
Результаты найдены: 1630