Bueno, en mi libro dice:
________________________________________________________________
"Existen lenguages no decidibles" y la prueba que pone es:
"Cada algoritmo es una palabra. Luego sólo hay algoritmos contables. Pero hay innumerables idiomas y por lo tanto más que algoritmos"
_____________________________________________________________
Por qué se dice que cada algoritmo es una palabra? Una palabra es una concatenación de símbolos, elementos de un alfabeto, entonces ¿cuál es la relación entre una palabra y un algoritmo? ¿Puede alguien que me explique? ¡Gracias! =)

Ya lo pude entender, gracias de todas maneras =D