1. Department of Informatics and Applied Mathematics – DIMAp, Group of Logic, Language, Information, Theory and Applications – LOLITA, Federal University of Rio Grande do Norte – UFRN, Natal, Rio Grande do Norte, Brazil
2. Center of Exact and Natural Sciences – CCEN, Rural Federal University of SemiArid – UFERSA, Mossoró, Rio Grande do Norte, Brazil