Algoritmos de minimização de autómatos
Autor(a) principal: | |
---|---|
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 |