Aplicación del q-análisis, de la lógica diamond y de la teoría de atractores sobre conjuntos finitos a la formalización de diccionarios de sinónimos