Buenas.
Imaginad una serie de condicionales anidados y/o seguidos, dónde además el resultado de alguno de ellos puede afectar a la variable testeada en los otros. Incluso que ese test contenga booleanos.
Puede ser que habiendo comprobado alguna condición el siguiente paso sea inecesario por estar la condición relacionada con la anterior.
¿Existe algún método o algoritmo reductivo (del organigrama o del código) para simplificar el estudio de estos casos?
Es que tengo que reducir un código bastante enrevesado y me gustaría seguir algún sistema conocido.
Otra cosa, ¿Algún programa gratuito que vaya bien para convertir código en diagramas de flujo?. Sólo he visto programas de pago (demos) u otros que no te convierten sino que te tienes que poner a crear todo de cero.