Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/69197

Registo completo
Campo DCValorIdioma
dc.contributor.authorGomes, Leandro Rafael Moreirapor
dc.contributor.authorMadeira, Alexandrepor
dc.contributor.authorBarbosa, L. S.por
dc.date.accessioned2021-01-13T17:39:06Z-
dc.date.available2021-01-13T17:39:06Z-
dc.date.issued2020-03-
dc.identifier.citationGomes, L., Madeira, A., & Barbosa, L. S. (2020). Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science, 348, 43-60por
dc.identifier.issn1571-0661-
dc.identifier.urihttps://hdl.handle.net/1822/69197-
dc.description.abstractThis 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.sponsorshipNORTE-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 Governancepor
dc.language.isoengpor
dc.publisherElsevier 1por
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F04106%2F2019/PT-
dc.rightsopenAccesspor
dc.subjectFuzzy automatapor
dc.subjectFuzzy languagespor
dc.subjectSynchronous languagespor
dc.titleIntroducing synchrony in fuzzy automatapor
dc.typearticlepor
dc.peerreviewedyespor
dc.relation.publisherversionhttps://www.sciencedirect.com/science/article/pii/S1571066120300049por
oaire.citationStartPage43por
oaire.citationEndPage60por
oaire.citationIssue348por
oaire.citationVolume348por
dc.identifier.doi10.1016/j.entcs.2020.02.004por
dc.subject.fosCiências Naturais::Ciências da Computação e da Informaçãopor
dc.subject.wosScience & Technologypor
sdum.journalElectronic Notes in Theoretical Computer Sciencepor
Aparece nas coleções:HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
GMB20.pdf306,88 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID