Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69197
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Gomes, Leandro Rafael Moreira | por |
dc.contributor.author | Madeira, Alexandre | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2021-01-13T17:39:06Z | - |
dc.date.available | 2021-01-13T17:39:06Z | - |
dc.date.issued | 2020-03 | - |
dc.identifier.citation | Gomes, L., Madeira, A., & Barbosa, L. S. (2020). Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science, 348, 43-60 | por |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | https://hdl.handle.net/1822/69197 | - |
dc.description.abstract | This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both vagueness and simultaneity are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra. | por |
dc.description.sponsorship | NORTE-01-0145-FEDER-000037. POCI-01-0145-FEDER-030947. ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciˆencia e a Tecnologia, within projects POCI-01-0145-FEDER-030947 and UID/MAT/04106/2019. The second author is supported in the scope of the framework contract foreseen in the numbers 4, 5 and 6 of the article 23, of the Decree-Law 57/2016, of August 29, changed by Portuguese Law 57/2017, of July 19. This paper is also a result of the project SmartEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods, Tools) NORTE-01-0145- FEDER-000037, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (EFDR). It received further support from the PT-FLAD Chair in Smart Cities & Smart Governance | por |
dc.language.iso | eng | por |
dc.publisher | Elsevier 1 | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F04106%2F2019/PT | - |
dc.rights | openAccess | por |
dc.subject | Fuzzy automata | por |
dc.subject | Fuzzy languages | por |
dc.subject | Synchronous languages | por |
dc.title | Introducing synchrony in fuzzy automata | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S1571066120300049 | por |
oaire.citationStartPage | 43 | por |
oaire.citationEndPage | 60 | por |
oaire.citationIssue | 348 | por |
oaire.citationVolume | 348 | por |
dc.identifier.doi | 10.1016/j.entcs.2020.02.004 | 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 | Electronic Notes in Theoretical Computer Science | por |
Aparece nas coleções: |