MaTest

Terminada la primera versión de la rama 1.x del programa. Esta nueva versión supone un avance significativo respecto de la primera versión disponible, principalmente el manejo dinámico de la memoria, eliminación de las limitaciones respecto de las variables y las conectivas, y un algoritmo de evaluación que es una solución general al problema.

Las nuevas características que incorpora son las siguientes:

• Código fuente modular.
• Mensajes y menús en Inglés.
• Reserva dinámica de memoria.
• Dimensión de las matrices libre (limitado por la memoria disponible).
• Posibilidad de definir nuevas conectivas y de borrar las ya existentes.
• Posibilidad de guardar las matrices en un archivo externo. Éstas se guardan en formato de tabla simple, legible tanto por una persona como por un ordenador. Pensado principalmente para guardar las matrices definidas y para una futura opción de cargar las matrices desde archivos externos que se puedan editar con un editor de texto corriente.
• Las variables son registradas por demanda.
• Menús rediseñados. Mejorada la robustez de la entrada de datos.
• La detección de las fórmulas bien formadas en notación polaca se efectúa en función de los datos proporcionados por el usuario según la convención que se comentó en un post anterior: cualquier letra mayúscula es una conectiva, cualquier letra minúscula es una variable.
• Mejoras en la detección de errores en fórmulas mal formadas.  Creado un parser que transforma una fórmula bien formada en notación polaca en una estructura de datos tipo árbol.
• Algoritmo de evaluación general. Las fbf’s individuales se evalúan mediante la estructura en árbol (evaluación independiente de la notación empleada), todas las posibilidades se calculan en función de la dimensión dada y de las variables definidas por el usuario (independiente de valores predefinidos).
• Posibilidad de seleccionar los valores mostrados en la evaluación, entre: todos, valores designados o valores no designados. También se muestran estadísticas a continuación de las fórmulas evaluadas.

Ya está disponible una primera (y precaria) versión del programa. Hay mucho que mejorar pero, al menos, es funcional.

Se trata de un único archivo de código fuente. Contiene algunas que otras “malas prácticas de programación”. La memoria se administra estáticamente, lo cual supone ciertas limitaciones; esto es algo que se solucionará en futuras versiones. Por otro lado, hay mucho que mejorar respecto a la robustez del código.

De momento, hay una serie de limitaciones estructurales en el programa que se irán solventando en las siguientes versiones y las cuales son:

• Las matrices están limitadas a una dimensión máxima de 10×10.
• Sólo se pueden usar las 6 conectivas predefinidas: implicación, negación, conjunción, disyunción, necesidad y posibilidad.
• Sólo se pueden usar 5 variables: p, q, r, s, t.

Las limitaciones anteriores suponen a su vez que:

• La identificación de las fórmulas bien formadas depende de las conectivas y variables definidas de antemano.
• El algoritmo de evaluación está condicionado por dichas limitaciones e implementado en base a ellas. No se trata, por tanto, de una solución general.

Por último, habría que mejorar ciertas cosas y añadir algunas opciones para mejorar la interfaz de usuario, para hacer el programa más “user friendly”.