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 computability - Esta es la página 158 - GeneraCodice
$ L (m) = l $ donde $ m $ es un $ tm $ que se mueve solo al lado derecho, por lo que $ l $ es regular
https://www.generacodice.com/es/articolo/1095930/-l-m-l-donde-m-es-un-tm-que-se-mueve-solo-al-lado-derecho-por-lo-que-l-es-regular
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
¿Por qué no es este problema indecidible en NP?
https://www.generacodice.com/es/articolo/1096129/por-que-no-es-este-problema-indecidible-en-np
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
La prueba de que $ \ {?M? | L (M) \ mbox {es libre de contexto} \} $ no es (co) recursivamente numerable
https://www.generacodice.com/es/articolo/1096284/la-prueba-de-que-m-l-m-mbox-es-libre-de-contexto-no-es-co-recursivamente-numerable
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
¿Existe un lenguaje finito indecidible de las palabras finitas?
https://www.generacodice.com/es/articolo/1096303/existe-un-lenguaje-finito-indecidible-de-las-palabras-finitas
computability
-
formal-languages
-
undecidability
cs.stackexchange
¿Por ausencia de surjection con el juego de poder no es suficiente para probar la existencia de un lenguaje indecidible?
https://www.generacodice.com/es/articolo/1096307/por-ausencia-de-surjection-con-el-juego-de-poder-no-es-suficiente-para-probar-la-existencia-de-un-lenguaje-indecidible
computability
-
formal-languages
-
undecidability
cs.stackexchange
Demostrar que el problema de la parada es decidible para máquinas de Turing una sola pasada
https://www.generacodice.com/es/articolo/1096692/demostrar-que-el-problema-de-la-parada-es-decidible-para-maquinas-de-turing-una-sola-pasada
turing-machines
-
computability
-
formal-languages
-
check-my-proof
cs.stackexchange
Máquina de Turing y decidibilidad idioma
https://www.generacodice.com/es/articolo/1096709/maquina-de-turing-y-decidibilidad-idioma
turing-machines
-
computability
cs.stackexchange
Turing reconocible => enumerables
https://www.generacodice.com/es/articolo/1096749/turing-reconocible-enumerables
turing-machines
-
computability
-
intuition
cs.stackexchange
Se pueden establecer las codificaciones de una clase no trivial de idiomas que contiene el conjunto vacío sea recursivamente numerable?
https://www.generacodice.com/es/articolo/1096832/se-pueden-establecer-las-codificaciones-de-una-clase-no-trivial-de-idiomas-que-contiene-el-conjunto-vacio-sea-recursivamente-numerable
turing-machines
-
computability
cs.stackexchange
Recursivo, recursivamente numerable y ninguna de las anteriores
https://www.generacodice.com/es/articolo/1096856/recursivo-recursivamente-numerable-y-ninguna-de-las-anteriores
computability
-
formal-languages
cs.stackexchange
«
155
156
157
158
159
160
»
Resultados encontrados: 1630