## 3.1.2 CODIFICACIONES

El conjunto de convenciones que se adopta para un problema dado es la codificación de ese problema. El tamaño de una cadena es el número de caracteres que contiene. Algunas cadenas de símbolos del conjunto escogido no son codificaciones válidas de objetos pertinentes al problema en cuestión; sólo son basura. En términos formales, una entrada de un problema y una solución propuesta para ese ejemplar del problema pueden ser cualquier cadena formada a partir del conjunto de caracteres. La verificación de una solución propuesta incluye verificar que la cadena tenga sentido (es decir, que tenga la sintaxis correcta) como descripción del tipo de objeto requerido, además de verificar que satisfaga los criterios del problema. Por tanto, cualquier cadena de caracteres puede verse como un certificado para un ejemplar de un problema.

Podemos codificar cualquier información empleando este alfabeto de cuatro letras, así como podemos codificar cualquier información con bits (0 y 1). Actualmente es posible sintetizar hilos de ADN que contengan una sucesión específica de nucleótidos; es decir, crear cualquier cadena deseada de letras para representar datos. La lógica y las estructuras de datos se verifican en el lenguaje que más ayuda proporciona. Luego se vuelven a codificar los procedimientos funcionales en un lenguaje más eficiente.

###