Algoritmos de minimização de autómatos

Detalhes bibliográficos
Autor(a) principal: Batista, Ana Micaela Gomes
Data de Publicação: 2011
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/9847
Resumo: O presente trabalho aborda vários algoritmos de minimização de autómatos. Aqui são apresentadas algumas definições relacionadas com autómatos, como por exemplo relação de equivalência de estados, relação de distinguibilidade de estados e classes de equivalência da relação de equivalência de estados, definições que estão na base dos algoritmos apresentados. É feita uma síntese de vários algoritmos de minimização, como por exemplo o algoritmo de Hopcroft e o algoritmo de Brzozowski, e são apresentadas as respectivas ordens de complexidade.
id RCAP_509caa351c843a0de4243cf62ef44c38
oai_identifier_str oai:ria.ua.pt:10773/9847
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 Algoritmos de minimização de autómatosMatemática aplicadaAutómatosAlgoritmos de computaçãoO presente trabalho aborda vários algoritmos de minimização de autómatos. Aqui são apresentadas algumas definições relacionadas com autómatos, como por exemplo relação de equivalência de estados, relação de distinguibilidade de estados e classes de equivalência da relação de equivalência de estados, definições que estão na base dos algoritmos apresentados. É feita uma síntese de vários algoritmos de minimização, como por exemplo o algoritmo de Hopcroft e o algoritmo de Brzozowski, e são apresentadas as respectivas ordens de complexidade.The present work shows several automaton minimization algorithms. Some definitions related to automaton are presented, for example the equivalence relation on states, the distinguishability relation on states and the equivalence classes of equivalence relation on states, which are the basis of the presented algorithms. A synthesis of several minimization algorithms is made, for example the Hopcroft algorithm and the Brzozowski algorithm, and their complexity orders are presented.Universidade de Aveiro2013-03-07T12:04:09Z2011-01-01T00:00:00Z2011info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/9847porBatista, Ana Micaela Gomesinfo: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:17:04Zoai:ria.ua.pt:10773/9847Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:46:35.570879Repositó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 Algoritmos de minimização de autómatos
title Algoritmos de minimização de autómatos
spellingShingle Algoritmos de minimização de autómatos
Batista, Ana Micaela Gomes
Matemática aplicada
Autómatos
Algoritmos de computação
title_short Algoritmos de minimização de autómatos
title_full Algoritmos de minimização de autómatos
title_fullStr Algoritmos de minimização de autómatos
title_full_unstemmed Algoritmos de minimização de autómatos
title_sort Algoritmos de minimização de autómatos
author Batista, Ana Micaela Gomes
author_facet Batista, Ana Micaela Gomes
author_role author
dc.contributor.author.fl_str_mv Batista, Ana Micaela Gomes
dc.subject.por.fl_str_mv Matemática aplicada
Autómatos
Algoritmos de computação
topic Matemática aplicada
Autómatos
Algoritmos de computação
description O presente trabalho aborda vários algoritmos de minimização de autómatos. Aqui são apresentadas algumas definições relacionadas com autómatos, como por exemplo relação de equivalência de estados, relação de distinguibilidade de estados e classes de equivalência da relação de equivalência de estados, definições que estão na base dos algoritmos apresentados. É feita uma síntese de vários algoritmos de minimização, como por exemplo o algoritmo de Hopcroft e o algoritmo de Brzozowski, e são apresentadas as respectivas ordens de complexidade.
publishDate 2011
dc.date.none.fl_str_mv 2011-01-01T00:00:00Z
2011
2013-03-07T12:04:09Z
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/9847
url http://hdl.handle.net/10773/9847
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_ 1799137517548601344

Registros relacionados