Reproducción facsimilar del enunciado histórico, páginas 12–13 del cuadernillo original. Se incluye completo, con figuras, fórmulas y ejemplos. El PDF original se conserva por separado.

La entrada consiste en:


    Un grafo dirigido con n estados (v´ertices) y m transiciones (arcos).


     Elara prefiere un ciclo infinito, luego el ´exito, y finalmente el fracaso. Orion prefiere el ´exito,

     luego el fracaso, y evitar los ciclos infinitos.

El resultado del experimento se reporta en dos filas de n caracteres:




                                          11
    La primera fila representa el resultado si Elara comienza el experimento desde cada estado

       inicial.


    La segunda fila representa el resultado si Orion comienza el experimento desde cada estado

       inicial.


     Los resultados posibles son:


       • “S” (Success): la se˜nal alcanza un estado exitoso desde ese estado inicial.

       • “F” (Failure): la se˜nal se detiene y el experimento falla.

       • “I” (Infinite): la se˜nal entra en un ciclo infinito y el experimento nunca termina.