Finite Nerode construction for fuzzy automata over the product algebra
| dc.contributor.author | Jancic, Zorana | |
| dc.contributor.author | Micic, Ivana | |
| dc.contributor.author | Stanimirovic, Stefan | |
| dc.contributor.author | González de Mendívil Moreno, José Ramón | |
| dc.contributor.author | Ciric, Miroslav | |
| 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:32:01Z | |
| dc.date.available | 2024-10-10T08:32:01Z | |
| dc.date.issued | 2023 | |
| dc.date.updated | 2024-10-10T08:29:15Z | |
| dc.description.abstract | The Nerode's automaton of a given fuzzy automaton A is a crisp-deterministic fuzzy automaton obtained by determinization of A using the well-known accessible fuzzy subset construction. This celebrated construction of a crisp-deterministic fuzzy automaton has served as a basis for various determinization procedures for fuzzy automata. However, the drawback of this construction is that it may not be feasible when the underlying structure for fuzzy automata is the product algebra because it is not locally finite. This paper provides an alternative way to construct a Nerode-like fuzzy automaton when the input fuzzy automaton is defined over the product algebra. This construction is always finite, since the fuzzy language recognized by this fuzzy automaton has a finite domain. However, this new construction does not accept the same fuzzy language as the initial fuzzy automaton. Nonetheless, it differs only in words accepted to some very small degree, which we treat as irrelevant. Therefore, our construction is an excellent finite approximation of Nerode's automaton. | en |
| dc.description.sponsorship | Z. Jancic, I. Micic, S. Stanimirovic and M. Ciric acknowledge the support of the Science Fund of the Republic of Serbia, GRANT No. 7750185, Quantitative Automata Models: Fundamental Problems and Applications - QUAM, and of 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 | Jancic, Z., Micic, I., Stanimirovic, S., González de Mendívil, J. R., Ciric, M. (2023) Finite Nerode construction for fuzzy automata over the product algebra. 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. 555-566). Springer. https://doi.org/10.1007/978-3-031-39965-7_46. | |
| dc.identifier.doi | 10.1007/978-3-031-39965-7_46 | |
| dc.identifier.isbn | 978-3-031-39964-0 | |
| dc.identifier.uri | https://academica-e.unavarra.es/handle/2454/52158 | |
| 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. 555-566 978-3-031-39964-0 | |
| dc.relation.publisherversion | https://doi.org/10.1007/978-3-031-39965-7_46 | |
| dc.rights | © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.subject | Determinization | en |
| dc.subject | Fuzzy automata | en |
| dc.subject | Nerode's automaton | en |
| dc.subject | Product algebra | en |
| dc.title | Finite Nerode construction for fuzzy automata over the product algebra | en |
| dc.type | info:eu-repo/semantics/conferenceObject | |
| dc.type.version | info:eu-repo/semantics/acceptedVersion | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 1c9265d3-e49f-4171-a180-c0450d53173b | |
| relation.isAuthorOfPublication.latestForDiscovery | 1c9265d3-e49f-4171-a180-c0450d53173b |