Reduction graph for minimal determinization of fuzzy automata
| dc.contributor.author | González de Mendívil Grau, Aitor | |
| dc.contributor.author | Stanimirovic, Stefan | |
| dc.contributor.author | Fariña Figueredo, Federico | |
| dc.contributor.department | Estadística, Informática y Matemáticas | es_ES |
| dc.contributor.department | Estatistika, Informatika eta Matematika | eu |
| dc.date.accessioned | 2024-10-10T08:21:55Z | |
| dc.date.available | 2024-10-10T08:21:55Z | |
| dc.date.issued | 2023-08-21 | |
| dc.date.updated | 2024-10-10T08:19:55Z | |
| dc.description.abstract | We introduce a minimal determinization procedure for fuzzy finite automata (FfAs) with membership values in a complete residuated lattice (CRL). The method is based on the well-known determinization method via factorization of fuzzy states. However, different to other determinization methods, we do not assume that the CRL is zero divisors free. This fact requires modifying the functions that define the factorization to avoid the zero divisor values when creating the fuzzy states in the determinization procedure. After generating a right-irreducible fuzzy deterministic finite automaton (FDfA) equivalent to the original FfA by determinization via factorization, we construct the so-called reduction graph of this fuzzy automaton, where each arc represents the notion that a fuzzy state is left-reducible by another fuzzy state. By making these left-reductions, we obtain the equivalent minimal FDfA. It is worth mentioning that an empty fuzzy state is always reducible by a nonempty fuzzy state. This behavior, specific for a CRL with zero divisors, has also to be taken into account when the state reduction is carried out. | en |
| dc.description.sponsorship | S. Stanimirovic acknowledges the support of the Science Fund of the Republic of Serbia, GRANT No. 7750185, Quantitative Automata Models: Fundamental Problems and Applications - QUAM, and the Ministry of Education, Science and Technological Development, Republic of Serbia, Contract No. 451-03-68/2022-14/200124. | |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | González de Mendívil Grau, A., Stanimirovic, S., Fariña, F. (2023) Reduction graph for minimal determinization of fuzzy automata. In Massanet, S., Montes, S., Ruiz-Aguilera, D., González-Hidalgo M. (Eds.), Fuzzy logic and technology, and aggregation operators: 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023 (pp. 543-554). Springer. https://doi.org/10.1007/978-3-031-39965-7_45 | |
| dc.identifier.doi | 10.1007/978-3-031-39965-7_45 | |
| dc.identifier.isbn | 978-3-031-39964-0 | |
| dc.identifier.uri | https://academica-e.unavarra.es/handle/2454/52156 | |
| dc.language.iso | eng | |
| dc.publisher | Springer | |
| dc.relation.ispartof | Massanet, S.; Montes, S.; Ruiz-Aguilera, D.; González-Hidalgo, M. (Eds.). Fuzzy logic and technology, and aggregation operators: 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023. Cham: Springer; 2023. p. 543-554 978-3-031-39964-0 | |
| dc.relation.publisherversion | https://doi.org/10.1007/978-3-031-39965-7_45 | |
| dc.rights | © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.subject | Divisible complete residuated lattice | en |
| dc.subject | Factorization of fuzzy states | en |
| dc.subject | Fuzzy finite automata | en |
| dc.subject | Minimal determinization method | en |
| dc.subject | Reduction graph | en |
| dc.title | Reduction graph for minimal determinization of fuzzy automata | en |
| dc.type | info:eu-repo/semantics/conferenceObject | |
| dc.type.version | info:eu-repo/semantics/acceptedVersion | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | b5b89afd-b97e-47ff-a168-fe99ad4607b0 | |
| relation.isAuthorOfPublication | 8462737f-e46e-4be7-8741-66da50af6c1d | |
| relation.isAuthorOfPublication.latestForDiscovery | b5b89afd-b97e-47ff-a168-fe99ad4607b0 |