An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Dintre de la , el teorema d'invariància , inicialment proposat per , estableix que una màquina universal de Turing proporciona un mitjà òptim de descripció, fins a una constant additiva. Formalment, per a cada màquina M existeix una constant c tal que per a totes les cadenes binàries x tenim: Això es dedueix de la definició d'una màquina universal de Turing, tenint c = l (< M >) com la longitud de la codificació de M. El teorema de la invariància defineix de la mateixa manera les complexitats prefixades i condicionals.

Property Value
dbo:abstract
  • Dintre de la , el teorema d'invariància , inicialment proposat per , estableix que una màquina universal de Turing proporciona un mitjà òptim de descripció, fins a una constant additiva. Formalment, per a cada màquina M existeix una constant c tal que per a totes les cadenes binàries x tenim: Això es dedueix de la definició d'una màquina universal de Turing, tenint c = l (< M >) com la longitud de la codificació de M. El teorema de la invariància defineix de la mateixa manera les complexitats prefixades i condicionals. (ca)
  • En la teoría algorítmica de la información, el teorema de invariancia, inicialmente probado por Ray Solomonoff, establece que una máquina universal de Turing proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina M existe una constante c tal que para todas las cadenas binarias x se tiene Esto se deduce trivialmente de la definición de una máquina universal de Turing, siendo c = ℓ (<M>) la longitud de la codificación de M. El teorema de invariancia se cumple igualmente por el prefijo y la complejidad condicional. Este artículo incorpora material del teorema de la invariancia de PlanetMath, que está bajo la licencia Creative Commons Attribution / Share-Alike License * Datos: Q3823417 (es)
  • Dintre de la , el teorema d'invariància , inicialment proposat per , estableix que una màquina universal de Turing proporciona un mitjà òptim de descripció, fins a una constant additiva. Formalment, per a cada màquina M existeix una constant c tal que per a totes les cadenes binàries x tenim: Això es dedueix de la definició d'una màquina universal de Turing, tenint c = l (< M >) com la longitud de la codificació de M. El teorema de la invariància defineix de la mateixa manera les complexitats prefixades i condicionals. (ca)
  • En la teoría algorítmica de la información, el teorema de invariancia, inicialmente probado por Ray Solomonoff, establece que una máquina universal de Turing proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina M existe una constante c tal que para todas las cadenas binarias x se tiene Esto se deduce trivialmente de la definición de una máquina universal de Turing, siendo c = ℓ (<M>) la longitud de la codificación de M. El teorema de invariancia se cumple igualmente por el prefijo y la complejidad condicional. Este artículo incorpora material del teorema de la invariancia de PlanetMath, que está bajo la licencia Creative Commons Attribution / Share-Alike License * Datos: Q3823417 (es)
dbo:wikiPageDisambiguates
dbo:wikiPageID
  • 1467619 (xsd:integer)
dbo:wikiPageLength
  • 479 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 736578649 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
rdfs:comment
  • Dintre de la , el teorema d'invariància , inicialment proposat per , estableix que una màquina universal de Turing proporciona un mitjà òptim de descripció, fins a una constant additiva. Formalment, per a cada màquina M existeix una constant c tal que per a totes les cadenes binàries x tenim: Això es dedueix de la definició d'una màquina universal de Turing, tenint c = l (< M >) com la longitud de la codificació de M. El teorema de la invariància defineix de la mateixa manera les complexitats prefixades i condicionals. (ca)
  • En la teoría algorítmica de la información, el teorema de invariancia, inicialmente probado por Ray Solomonoff, establece que una máquina universal de Turing proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina M existe una constante c tal que para todas las cadenas binarias x se tiene Esto se deduce trivialmente de la definición de una máquina universal de Turing, siendo c = ℓ (<M>) la longitud de la codificación de M. El teorema de invariancia se cumple igualmente por el prefijo y la complejidad condicional. * Datos: Q3823417 (es)
  • Dintre de la , el teorema d'invariància , inicialment proposat per , estableix que una màquina universal de Turing proporciona un mitjà òptim de descripció, fins a una constant additiva. Formalment, per a cada màquina M existeix una constant c tal que per a totes les cadenes binàries x tenim: Això es dedueix de la definició d'una màquina universal de Turing, tenint c = l (< M >) com la longitud de la codificació de M. El teorema de la invariància defineix de la mateixa manera les complexitats prefixades i condicionals. (ca)
  • En la teoría algorítmica de la información, el teorema de invariancia, inicialmente probado por Ray Solomonoff, establece que una máquina universal de Turing proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina M existe una constante c tal que para todas las cadenas binarias x se tiene Esto se deduce trivialmente de la definición de una máquina universal de Turing, siendo c = ℓ (<M>) la longitud de la codificación de M. El teorema de invariancia se cumple igualmente por el prefijo y la complejidad condicional. * Datos: Q3823417 (es)
rdfs:label
  • Teorema d'invariància (ca)
  • Teorema de la invariancia (teoría de la información) (es)
  • Invariance theorem (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License