Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90280Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Gomes, Leandro | por |
| dc.contributor.author | Madeira, Alexandre | por |
| dc.contributor.author | Barbosa, L. S. | por |
| dc.date.accessioned | 2024-03-28T17:49:27Z | - |
| dc.date.available | 2024-03-28T17:49:27Z | - |
| dc.date.issued | 2023 | - |
| dc.identifier.citation | Gomes, L., Madeira, A., & Barbosa, L. S. (2022, October). Weighted synchronous automata. Mathematical Structures in Computer Science. Cambridge University Press (CUP). http://doi.org/10.1017/s0960129522000421 | por |
| dc.identifier.issn | 0960-1295 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/90280 | - |
| dc.description.abstract | This paper introduces a class of automata and associated languages, suitable to model a computational paradigm of fuzzy systems, in which both vagueness and simultaneity are taken as first-class citizens. This requires a weighted semantics for transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The usual relationships between automata and languages are revisited in this setting, including a specific Kleene theorem. | por |
| dc.description.sponsorship | This work is financed by the FCT – Fundação para a Ciência e a Tecnologia, I.P. (Portuguese Foundation for Science and Technology) within the project IBEX, with reference PTDC/CCI-COM/4280/2021. | por |
| dc.language.iso | eng | por |
| dc.publisher | Elsevier 1 | por |
| dc.relation | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PT | por |
| dc.rights | openAccess | por |
| dc.subject | weighted automata | por |
| dc.subject | fuzzy systems | por |
| dc.subject | regular languages | por |
| dc.subject | synchronous languages | por |
| dc.title | Weighted synchronous automata | por |
| dc.type | article | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | https://doi.org/10.1017/S0960129522000421 | por |
| oaire.citationStartPage | 1234 | por |
| oaire.citationEndPage | 1253 | por |
| oaire.citationIssue | 9 | por |
| oaire.citationVolume | 32 | por |
| dc.identifier.doi | 10.1017/S0960129522000421 | por |
| dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Mathematical Structures in Computer Science | por |
| oaire.version | VoR | por |
| Aparece nas coleções: | ||
