Etiqueta computation-models - Esta es la página 1 - GeneraCodice

Regularidad de un idioma construido a partir de un lenguaje regular conocido.

https://www.generacodice.com/es/articolo/2477946/regularidad-de-un-idioma-construido-a-partir-de-un-lenguaje-regular-conocido
  finite-automata  -  computation-models  -  regular-languages  -  closure-properties
cs.stackexchange cs.stackexchange

Cada lenguaje decidible $ L $ tiene un subconjunto decidible infinito $ s \ subconjunto L $ de manera que $ l \ setminus s $ es infinito

https://www.generacodice.com/es/articolo/2471648/cada-lenguaje-decidible-l-tiene-un-subconjunto-decidible-infinito-s-subconjunto-l-de-manera-que-l-setminus-s-es-infinito
  turing-machines  -  computation-models  -  decision-problem
cs.stackexchange cs.stackexchange

Equivalencia entre un TM y un TM cambiante.

https://www.generacodice.com/es/articolo/2469207/equivalencia-entre-un-tm-y-un-tm-cambiante
  turing-machines  -  computation-models  -  turing-completeness  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Expresando funciones utilizando el diccionario aritmético.

https://www.generacodice.com/es/articolo/2467152/expresando-funciones-utilizando-el-diccionario-aritmetico
  turing-machines  -  first-order-logic  -  computation-models
cs.stackexchange cs.stackexchange

Cierre en idiomas regulares

https://www.generacodice.com/es/articolo/2457504/cierre-en-idiomas-regulares
  automata  -  computation-models
cs.stackexchange cs.stackexchange

Complejidad computacional de conteo de símbolos.

https://www.generacodice.com/es/articolo/2455158/complejidad-computacional-de-conteo-de-simbolos
  complexity-theory  -  turing-machines  -  computation-models
cs.stackexchange cs.stackexchange

Modelos de programación paralelos: ¿Por qué domina OpenMP y MPI?

https://www.generacodice.com/es/articolo/2453322/modelos-de-programacion-paralelos-por-que-domina-openmp-y-mpi
  programming-languages  -  message-passing  -  computation-models  -  parallel-computing
cs.stackexchange cs.stackexchange

Are weakly polynomial time algorithms truly polynomial?

https://www.generacodice.com/es/articolo/2451194/are-weakly-polynomial-time-algorithms-truly-polynomial
  complexity-theory  -  turing-machines  -  algorithms  -  computation-models
cs.stackexchange cs.stackexchange

Would models of computation in other conceivable universes be Turing complete?

https://www.generacodice.com/es/articolo/2446171/would-models-of-computation-in-other-conceivable-universes-be-turing-complete
  physics  -  computability  -  computation-models
cs.stackexchange cs.stackexchange

Showing the following language is decidable

https://www.generacodice.com/es/articolo/1620893/showing-the-following-language-is-decidable
  complexity-theory  -  turing-machines  -  computability  -  automata  -  computation-models
cs.stackexchange cs.stackexchange
Resultados encontrados: 386
scroll top