No todos los programas sintácticamente correctos son semánticamente correctos.