Máquinas algébricas

Detalhes bibliográficos
Autor(a) principal: Ribau, Ângela Margarida Vergas
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/9456
Resumo: Um tópico importante na área de Ciências da Computação é o estudo de problemas que podem ser resolvidos por máquinas como os autómatos ou as máquinas de Turing. Este trabalho propõe-se a estudar a teoria de autómatos desenvolvendo para estes uma teoria algébrica, recorrendo a conceitos e resultados da álgebra universal heterogénea.
id RCAP_c8d75f192978599d314293cd08baca21
oai_identifier_str oai:ria.ua.pt:10773/9456
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 Máquinas algébricasMatemática aplicadÁlgebra universalAutómatosUm tópico importante na área de Ciências da Computação é o estudo de problemas que podem ser resolvidos por máquinas como os autómatos ou as máquinas de Turing. Este trabalho propõe-se a estudar a teoria de autómatos desenvolvendo para estes uma teoria algébrica, recorrendo a conceitos e resultados da álgebra universal heterogénea.An important research topic in Computer Science is the study of problems that can be solved by abstract machines like automata or Turing machines. In this work we consider finite state automata and propose an algebraic theory, making use of concepts and results from many-sorted algebra, to study these machines.Universidade de Aveiro2013-01-04T14:51:45Z2009-01-01T00:00:00Z2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/9456porRibau, Ângela Margarida Vergasinfo: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:RCAAP2024-02-22T11:16:10Zoai:ria.ua.pt:10773/9456Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:46:17.713924Repositó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 Máquinas algébricas
title Máquinas algébricas
spellingShingle Máquinas algébricas
Ribau, Ângela Margarida Vergas
Matemática aplicad
Álgebra universal
Autómatos
title_short Máquinas algébricas
title_full Máquinas algébricas
title_fullStr Máquinas algébricas
title_full_unstemmed Máquinas algébricas
title_sort Máquinas algébricas
author Ribau, Ângela Margarida Vergas
author_facet Ribau, Ângela Margarida Vergas
author_role author
dc.contributor.author.fl_str_mv Ribau, Ângela Margarida Vergas
dc.subject.por.fl_str_mv Matemática aplicad
Álgebra universal
Autómatos
topic Matemática aplicad
Álgebra universal
Autómatos
description Um tópico importante na área de Ciências da Computação é o estudo de problemas que podem ser resolvidos por máquinas como os autómatos ou as máquinas de Turing. Este trabalho propõe-se a estudar a teoria de autómatos desenvolvendo para estes uma teoria algébrica, recorrendo a conceitos e resultados da álgebra universal heterogénea.
publishDate 2009
dc.date.none.fl_str_mv 2009-01-01T00:00:00Z
2009
2013-01-04T14:51:45Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10773/9456
url http://hdl.handle.net/10773/9456
dc.language.iso.fl_str_mv por
language por
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 Universidade de Aveiro
publisher.none.fl_str_mv Universidade de Aveiro
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_ 1799137514639851520

Registros relacionados