Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Forma normal (reescritura abstracta)

Índice Forma normal (reescritura abstracta)

En sistema de reescritura de términos, se dice que un término está en forma normal si no es posible aplicar ninguna regla del sistema que lo reescriba en otro término.

4 relaciones: Cambridge University Press, Infinito, Problema de decisión, Vector equipolente.

Cambridge University Press

Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).

¡Nuevo!!: Forma normal (reescritura abstracta) y Cambridge University Press · Ver más »

Infinito

El concepto de infinito (símbolo) aparece en varias ramas de la matemática, la filosofía y la astronomía, en referencia a una cantidad sin límite o sin final, contrapuesto al concepto de finitud.

¡Nuevo!!: Forma normal (reescritura abstracta) e Infinito · Ver más »

Problema de decisión

En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita.

¡Nuevo!!: Forma normal (reescritura abstracta) y Problema de decisión · Ver más »

Vector equipolente

Existe equipolencia entre dos o más vectores cuando las magnitudes físicas que representan tienen el mismo valor y producen los mismos efectos.

¡Nuevo!!: Forma normal (reescritura abstracta) y Vector equipolente · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »