En teoría es perfectamente válido lo que cuenta hystd, incluso si se pudiera definir una métrica para calcular la disimilitud entre programas de forma de crear una cota que distinga programas trivialmente equivalentes*, cosa que informalmente es bastante factible, se demostraría que la cantidad de formas de transformar un programa en un lenguaje GOTO-computable en uno en un lenguaje de alto nivel están acotadas.

De ahí a la práctica hay un camino que aún no ha sido muy recorrido.


Saludos