Ken Thompson: respuestas exactas para finales bien delimitados

El museo sitúa en 1977 el trabajo de Thompson y Joe Condon en el hardware de Belle.^[3] Ritchie distingue la búsqueda asistida por hardware del proyecto posterior de bases de finales.^[2] El método detallado aquí procede del artículo de 1986; no demuestra que todos sus resultados existieran en 1977.^[1]

Thompson genera posiciones predecesoras legales y propaga resultados conocidos. Basta que exista una jugada ganadora; una derrota forzada exige comprobar todas las respuestas legales. Capturas y excepciones requieren tratamiento explícito.^[1] Llamar al ajedrez simplemente reversible oculta el trabajo que hace fiable el modelo. Las condiciones terminales importan: no tener jugada legal no equivale automáticamente a mate.

El artículo trata finales pequeños específicos y distingue distancia al mate de distancia a un final más simple ganado.^[1] No son métricas intercambiables. Tampoco establece una distancia para forzar todas las tablas, ni resuelve todo el ajedrez ni prueba que una demostración de 1977 cambiara por sí sola las reglas de competición.

Análisis y aplicación

En un flujo de producto, partir de condiciones terminales verificables, no de una promesa amplia de éxito. Mapear transiciones permitidas y separar decisiones del sistema de respuestas controladas por otros. El razonamiento inverso puede revelar requisitos ausentes, pero no elimina incertidumbre sobre preferencias de clientes o mercados futuros fuera del modelo.

Análisis y aplicación

1. Definir estados, transiciones permitidas y quién elige cada acción.
2. Nombrar resultados terminales verificables.
3. Separar una ruta suficiente de condiciones necesarias ante toda respuesta.
4. Registrar ciclos, estados ilegales, excepciones y objetivo medido.
5. Probar ejemplos pequeños y publicar los límites. Es nuestra adaptación propuesta, no un resultado empresarial demostrado por Thompson.