Problemas de decisão em teoria de linguagens regulares

Detalhes bibliográficos
Autor(a) principal: Hungulu, Gerson Benjamim
Data de Publicação: 2019
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/1822/65483
Resumo: Dissertação de mestrado em Matemática e Computação
id RCAP_48b24483940547d89d2aa73831f85aaf
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/65483
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 Problemas de decisão em teoria de linguagens regularesProblemas de decisãoExpressões regularesAutómatos finitosAlgoritmoDecision problemsRegular expressionsFinite automataAlgorithmCiências Naturais::MatemáticasDissertação de mestrado em Matemática e ComputaçãoUm problema de decisão consiste num conjunto de perguntas cujas respostas são "sim" ou "não" . A solução para um problema de decisão é um procedimento completo, mecânico e determinista, sendo assim (muitas vezes) chamado de procedimento efetivo. Um problema de decisão é indecidível se não houver nenhum procedimento/algoritmo que resolva o problema, caso contrário, é decidível. A capacidade das máquinas de Turing de retornar respostas afirmativas e negativas, torna-as um sistema matemático adequado para a construção de soluções para problemas de decisão. As máquinas de Turing que se limitam a ler uma determinada palavra podem ser vistas como autómatos finitos. O autómato finito é um modelo matemático da computação de um sistema com entradas e saídas discretas. As linguagens regulares são as linguagens representáveis por uma expressão regular, constituindo o nível mais elementar da hierarquia do linguista Noam Chomsky. Kleene demonstrou que as linguagens regulares são precisamente as linguagens reconhecidas pelos autómatos finitos, fundando assim a teoria das linguagens regulares e dos autómatos finitos. Neste trabalho estudam-se alguns problemas de decisão envolvendo linguagens regulares, quando estas são representadas por autómatos finitos ou expressões regulares. Especificamente, apresentamos e analisamos algoritmos para o problema de decidir se uma dada linguagem é vazia, bem como o problema de decidir se uma dada linguagem é infinita.A decision problem is a set of questions that are answered "yes" or "no". The solution to a decision problem is a complete, mechanical and deterministic procedure, so it is (often) called an effective procedure. A decision problem is undecidable if there is no procedure/algorithm that solves the problem, otherwise it is decidable. The ability of Turing machines to return affirmative and negative answers makes them a suitable mathematical system for building solutions to decision problems. Turing machines that merely read a certain word can be seen as finite automata. The finite automaton is a mathematical model of the computation of a system with discrete inputs and outputs. Regular languages are the languages representable by a regular expression, constituting the most elementary level of the linguist Noam Chomsky’s hierarchy. Kleene demonstrated that the regular languages are precisely the languages recognized by finite automata, thus founding the theory of regular languages and finite automata. In this work we study some decision problems for regular languages, when languages are given both by finite automata and regular expressions. Specifically we present and analyze algorithms for the problem of deciding if the given language is empty, as well as for the problem of deciding if the given language is infinite.Espírito Santo, JoséUniversidade do MinhoHungulu, Gerson Benjamim20192019-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/65483por202472051info: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:54:00Zoai:repositorium.sdum.uminho.pt:1822/65483Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:53:30.600788Repositó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 Problemas de decisão em teoria de linguagens regulares
title Problemas de decisão em teoria de linguagens regulares
spellingShingle Problemas de decisão em teoria de linguagens regulares
Hungulu, Gerson Benjamim
Problemas de decisão
Expressões regulares
Autómatos finitos
Algoritmo
Decision problems
Regular expressions
Finite automata
Algorithm
Ciências Naturais::Matemáticas
title_short Problemas de decisão em teoria de linguagens regulares
title_full Problemas de decisão em teoria de linguagens regulares
title_fullStr Problemas de decisão em teoria de linguagens regulares
title_full_unstemmed Problemas de decisão em teoria de linguagens regulares
title_sort Problemas de decisão em teoria de linguagens regulares
author Hungulu, Gerson Benjamim
author_facet Hungulu, Gerson Benjamim
author_role author
dc.contributor.none.fl_str_mv Espírito Santo, José
Universidade do Minho
dc.contributor.author.fl_str_mv Hungulu, Gerson Benjamim
dc.subject.por.fl_str_mv Problemas de decisão
Expressões regulares
Autómatos finitos
Algoritmo
Decision problems
Regular expressions
Finite automata
Algorithm
Ciências Naturais::Matemáticas
topic Problemas de decisão
Expressões regulares
Autómatos finitos
Algoritmo
Decision problems
Regular expressions
Finite automata
Algorithm
Ciências Naturais::Matemáticas
description Dissertação de mestrado em Matemática e Computação
publishDate 2019
dc.date.none.fl_str_mv 2019
2019-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/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/65483
url http://hdl.handle.net/1822/65483
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 202472051
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_ 1799133131695980544

Registros relacionados