Esta autorreferencia nos permite representar modelos complejos y, en computabilidad, aún no se ha descubierto un equivalente para la compilación de lenguajes.