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 7 - GeneraCodice
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
¿Por qué el teorema de la recursión no prueba que hay un conjunto finito indecidible?
https://www.generacodice.com/es/articolo/2453658/por-que-el-teorema-de-la-recursion-no-prueba-que-hay-un-conjunto-finito-indecidible
turing-machines
-
computability
-
undecidability
cs.stackexchange
Es correcto: si una gramática tipo 3 genera o no $ \ sigma ^ * $ no es C.E
https://www.generacodice.com/es/articolo/2453394/es-correcto-si-una-gramatica-tipo-3-genera-o-no-sigma-no-es-c-e
formal-languages
-
undecidability
-
regular-languages
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/es/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
¿Cómo puedo aplicar el teorema de Rice?
https://www.generacodice.com/es/articolo/2448280/como-puedo-aplicar-el-teorema-de-rice
undecidability
-
rice-theorem
cs.stackexchange
¿Es el idioma vacío l= ∅ un subconjunto de todos los idiomas?
https://www.generacodice.com/es/articolo/2446142/es-el-idioma-vacio-l-un-subconjunto-de-todos-los-idiomas
halting-problem
-
undecidability
cs.stackexchange
Demuestre que la clase de lenguas CFG que están cerradas bajo la reversión no es indecidible
https://www.generacodice.com/es/articolo/2446077/demuestre-que-la-clase-de-lenguas-cfg-que-estan-cerradas-bajo-la-reversion-no-es-indecidible
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
Un caso especial de suma de subconjunto.
https://www.generacodice.com/es/articolo/2445185/un-caso-especial-de-suma-de-subconjunto
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
¿Es decidible si una máquina de Turing se mueve su cabeza más de 481 células alejadas del marcador de extremo izquierdo, en la entrada ε?
https://www.generacodice.com/es/articolo/2444820/es-decidible-si-una-maquina-de-turing-se-mueve-su-cabeza-mas-de-481-celulas-alejadas-del-marcador-de-extremo-izquierdo-en-la-entrada-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
«
4
5
6
7
8
9
»
Resultados encontrados: 685