Española
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artículos completos
Categorías
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Usted escribe
Usuario
Acceso
Registro
Recuperación de contraseña
Etiquetas
Etiquetas de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Etiqueta undecidability - Esta es la página 5 - GeneraCodice
Decidibilidad de las máquinas de Turing que nunca mueven sus cabezas más allá de ninguna cadena de entrada
https://www.generacodice.com/es/articolo/2465509/decidibilidad-de-las-maquinas-de-turing-que-nunca-mueven-sus-cabezas-mas-alla-de-ninguna-cadena-de-entrada
turing-machines
-
computability
-
undecidability
cs.stackexchange
Decidibilidad de la igualdad y la solidez de las expresiones que involucran aritméticos y exponenciales elementales.
https://www.generacodice.com/es/articolo/2465430/decidibilidad-de-la-igualdad-y-la-solidez-de-las-expresiones-que-involucran-aritmeticos-y-exponenciales-elementales
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
Detener la teoría del problema vs.práctica
https://www.generacodice.com/es/articolo/2464468/detener-la-teoria-del-problema-vs-practica
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/es/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
¿Cómo podría "resolver" el problema de detención si, hipotéticamente, los números de castor ocupados eran "pequeños"?
https://www.generacodice.com/es/articolo/2462542/como-podria-resolver-el-problema-de-detencion-si-hipoteticamente-los-numeros-de-castor-ocupados-eran-pequenos
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Diferencia entre la gramática regular y el CFG en la generación de historiales de computación y $ \ SIGMA ^ * $
https://www.generacodice.com/es/articolo/2459293/diferencia-entre-la-gramatica-regular-y-el-cfg-en-la-generacion-de-historiales-de-computacion-y-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/es/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
PROBLEMA DE DETENER DE DETENER PARA LA MÁQUINA FIJATE Y ENTRADA FIJA
https://www.generacodice.com/es/articolo/2457906/problema-de-detener-de-detener-para-la-maquina-fijate-y-entrada-fija
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Muestra que este conjunto decidible existe $ C $
https://www.generacodice.com/es/articolo/2454714/muestra-que-este-conjunto-decidible-existe-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/es/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
»
Resultados encontrados: 685