Weighted synchronous automata
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2023 |
| Outros Autores: | , |
| Tipo de documento: | Artigo |
| Idioma: | eng |
| Título da fonte: | Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| Texto Completo: | http://hdl.handle.net/10773/36735 |
Resumo: | 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. |
| id |
RCAP_8a9067c6d25dcbb22aed35d1f64e5566 |
|---|---|
| oai_identifier_str |
oai:ria.ua.pt:10773/36735 |
| network_acronym_str |
RCAP |
| network_name_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository_id_str |
https://opendoar.ac.uk/repository/7160 |
| spelling |
Weighted synchronous automataWeighted automataRegular languagesSynchronous languagesThis 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.Cambridge University Press2023-07-25T00:00:00Z2023-01-01T00:00:00Z2023info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/36735eng0960-129510.1017/S0960129522000421Gomes, LeandroMadeira, AlexandreBarbosa, Luis Soaresinfo:eu-repo/semantics/embargoedAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-06T04:43:17Zoai:ria.ua.pt:10773/36735Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:18:00.500511Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse |
| dc.title.none.fl_str_mv |
Weighted synchronous automata |
| title |
Weighted synchronous automata |
| spellingShingle |
Weighted synchronous automata Gomes, Leandro Weighted automata Regular languages Synchronous languages |
| title_short |
Weighted synchronous automata |
| title_full |
Weighted synchronous automata |
| title_fullStr |
Weighted synchronous automata |
| title_full_unstemmed |
Weighted synchronous automata |
| title_sort |
Weighted synchronous automata |
| author |
Gomes, Leandro |
| author_facet |
Gomes, Leandro Madeira, Alexandre Barbosa, Luis Soares |
| author_role |
author |
| author2 |
Madeira, Alexandre Barbosa, Luis Soares |
| author2_role |
author author |
| dc.contributor.author.fl_str_mv |
Gomes, Leandro Madeira, Alexandre Barbosa, Luis Soares |
| dc.subject.por.fl_str_mv |
Weighted automata Regular languages Synchronous languages |
| topic |
Weighted automata Regular languages Synchronous languages |
| description |
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. |
| publishDate |
2023 |
| dc.date.none.fl_str_mv |
2023-07-25T00:00:00Z 2023-01-01T00:00:00Z 2023 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10773/36735 |
| url |
http://hdl.handle.net/10773/36735 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
0960-1295 10.1017/S0960129522000421 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/embargoedAccess |
| eu_rights_str_mv |
embargoedAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Cambridge University Press |
| publisher.none.fl_str_mv |
Cambridge University Press |
| dc.source.none.fl_str_mv |
reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia instacron:RCAAP |
| instname_str |
FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| instacron_str |
RCAAP |
| institution |
RCAAP |
| reponame_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| collection |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository.name.fl_str_mv |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| repository.mail.fl_str_mv |
info@rcaap.pt |
| _version_ |
1833594478642855936 |