A coalgebraic perspective on linear weighted automata

Detalhes bibliográficos
Autor(a) principal: Bonchi, Filippo
Data de Publicação: 2012
Outros Autores: Bonsangue, Marcello, Boreale, Michele, Rutten, Jan, Silva, Alexandra M.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/35664
Resumo: "Author's personal copy"
id RCAP_eb0940ee31acc68149aefcaafd825cc1
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/35664
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling A coalgebraic perspective on linear weighted automataScience & Technology"Author's personal copy"Weighted automata are a generalisation of non-deterministic automata where each transition, in addition to an input letter, has also a quantity expressing the weight (e.g. cost or probability) of its execution. As for non-deterministic automata, their behaviours can be expressed in terms of either (weighted) bisimilarity or (weighted) language equivalence. Coalgebras provide a categorical framework for the uniform study of state-based systems and their behaviours. In this work, we show that coalgebras can suitably model weighted automata in two different ways: coalgebras on Set (the category of sets and functions) characterise weighted bisimilarity, while coalgebras on Vect (the category of vector spaces and linear maps) characterise weighted language equivalence. Relying on the second characterisation, we show three different procedures for computing weighted language equivalence. The first one consists in a generalisation of the usual partition refinement algorithm for ordinary automata. The second one is the backward version of the first one. The third procedure relies on a syntactic representation of rational weighted languages.We would like to thank the referees for the many constructive comments, which greatly helped us improving the paper. The authors are also grateful for useful comments from Erik de Vink. The work of Alexandra Silva was partially supported by Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BPD/71956/2010.ElsevierUniversidade do MinhoBonchi, FilippoBonsangue, MarcelloBoreale, MicheleRutten, JanSilva, Alexandra M.20122012-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/35664eng0890-540110.1016/j.ic.2011.12.002www.elsevier.com/locate/yincoinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:35:43Zoai:repositorium.sdum.uminho.pt:1822/35664Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:31:38.538392Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv A coalgebraic perspective on linear weighted automata
title A coalgebraic perspective on linear weighted automata
spellingShingle A coalgebraic perspective on linear weighted automata
Bonchi, Filippo
Science & Technology
title_short A coalgebraic perspective on linear weighted automata
title_full A coalgebraic perspective on linear weighted automata
title_fullStr A coalgebraic perspective on linear weighted automata
title_full_unstemmed A coalgebraic perspective on linear weighted automata
title_sort A coalgebraic perspective on linear weighted automata
author Bonchi, Filippo
author_facet Bonchi, Filippo
Bonsangue, Marcello
Boreale, Michele
Rutten, Jan
Silva, Alexandra M.
author_role author
author2 Bonsangue, Marcello
Boreale, Michele
Rutten, Jan
Silva, Alexandra M.
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Bonchi, Filippo
Bonsangue, Marcello
Boreale, Michele
Rutten, Jan
Silva, Alexandra M.
dc.subject.por.fl_str_mv Science & Technology
topic Science & Technology
description "Author's personal copy"
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01T00:00:00Z
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/1822/35664
url http://hdl.handle.net/1822/35664
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0890-5401
10.1016/j.ic.2011.12.002
www.elsevier.com/locate/yinco
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132825370230784

Registros relacionados