MaTest-0.1
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”.