On Decidability of Intermediate Levels of Concatenation Hierarchies

Detalhes bibliográficos
Autor(a) principal: Almeida, J
Data de Publicação: 2015
Outros Autores: Bartonova, J, Klima, O, Kunc, M
Tipo de documento: Livro
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://repositorio-aberto.up.pt/handle/10216/107467
Resumo: It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement.
id RCAP_dce5f3fffbee651e3e65d9f92eda27e2
oai_identifier_str oai:repositorio-aberto.up.pt:10216/107467
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 On Decidability of Intermediate Levels of Concatenation HierarchiesIt is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement.20152015-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdfhttps://repositorio-aberto.up.pt/handle/10216/107467eng10.1007/978-3-319-21500-6_4Almeida, JBartonova, JKlima, OKunc, Minfo: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-11-29T13:09:49Zoai:repositorio-aberto.up.pt:10216/107467Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T23:34:49.202449Repositó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 On Decidability of Intermediate Levels of Concatenation Hierarchies
title On Decidability of Intermediate Levels of Concatenation Hierarchies
spellingShingle On Decidability of Intermediate Levels of Concatenation Hierarchies
Almeida, J
title_short On Decidability of Intermediate Levels of Concatenation Hierarchies
title_full On Decidability of Intermediate Levels of Concatenation Hierarchies
title_fullStr On Decidability of Intermediate Levels of Concatenation Hierarchies
title_full_unstemmed On Decidability of Intermediate Levels of Concatenation Hierarchies
title_sort On Decidability of Intermediate Levels of Concatenation Hierarchies
author Almeida, J
author_facet Almeida, J
Bartonova, J
Klima, O
Kunc, M
author_role author
author2 Bartonova, J
Klima, O
Kunc, M
author2_role author
author
author
dc.contributor.author.fl_str_mv Almeida, J
Bartonova, J
Klima, O
Kunc, M
description It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement.
publishDate 2015
dc.date.none.fl_str_mv 2015
2015-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/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio-aberto.up.pt/handle/10216/107467
url https://repositorio-aberto.up.pt/handle/10216/107467
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1007/978-3-319-21500-6_4
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.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_ 1799135660215369729

Registros relacionados