Expresividad Relativa
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una relación que compara dos lenguajes o formalismos formales en la que uno se considera al menos tan expresivo como el otro cuando puede definir o simular toda propiedad, clase de estructuras o predicado definible en el segundo.