El funcionamiento también lo debes definir, el programa te puede decir formas en que funcionan las cosas, son procesos con variables ¿no? Pero no puede saber qué proceso en concreto se ajusta a la realidad, no puede probar sus teorías en la realidad más allá de la computadora.
Dejo el link del programa que mencioné por ahí (no es mío):
https://www.youtube.com/watch?v=56zz_ElAP7o
Yo lo uso con pocas variables, ese tipo no sé qué está haciendo xD (usa letras además), pero la idea es lo que muestra. Ese programa te dice las relaciones entre las variables, cuando una se especifica que es el resultado de una relación entre las demás. Aunque ahí no se pueden poner loops y cosas así creo.
Acá lo explica:
https://www.youtube.com/watch?v=NhC1Qb-PQ5Q
Bueno, pero que te encuentre una relación ahí no te asegura que en la realidad funcione, pues quizá hay variables influyentes que no tuviste en cuenta. Mi programa es similar en el sentido de que analiza de acuerdo a lo que se dice, no sobre lo que es real, porque no puede saberlo. Si se le dice (como se diga) que las cosas flotan, hará las pruebas siguiendo esa regla. Si no se le dice cómo funciona algo, depende de qué sea, para un juego por ejemplo hay que indicarle cuando es un game over, sino sigue xD Si se pretende que eso se deduzca, es diferente, ya ando un poco harto de escribir y eso, puede incluso que ya haya explicado algo similar...
Aviso: La próxima vez responderé en modo "así nomás".