λ-ALN: autômatos lineares não-determinísticos com λ-transições

Detalhes bibliográficos
Autor(a) principal: Bedregal,B.C.
Data de Publicação: 2011
Tipo de documento: Artigo
Idioma: por
Título da fonte: TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512011000300002
Resumo: Neste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáticas lineares, provamos que a classe de linguagens aceita por este tipo de autômato é exatamente a classe das linguagens lineares. Mostramos ainda que, análogo ao que ocorre com os autômatos finitos e com os autômatos com pilhas, a existência das λ-transições em um autômato linear não-determinístico não significa que não possa ser definido um autômato linear não-determinístico sem λ-transições que reconheça a mesma linguagem. Ou seja, as λ-transições não aumentam o poder de aceitação destes autômatos e portanto podem ser dispensadas do modelo. Finalmente, apresentamos uma aplicação destes autômatos no contexto de bioinformática.
id SBMAC-1_b6f3b9e1a210373d498118df1e4ce575
oai_identifier_str oai:scielo:S2179-84512011000300002
network_acronym_str SBMAC-1
network_name_str TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
repository_id_str
spelling λ-ALN: autômatos lineares não-determinísticos com λ-transiçõesLinguagens linearesgramáticas linearesforma normalautômatos lineares não-determinísticosλ-transiçõesNeste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáticas lineares, provamos que a classe de linguagens aceita por este tipo de autômato é exatamente a classe das linguagens lineares. Mostramos ainda que, análogo ao que ocorre com os autômatos finitos e com os autômatos com pilhas, a existência das λ-transições em um autômato linear não-determinístico não significa que não possa ser definido um autômato linear não-determinístico sem λ-transições que reconheça a mesma linguagem. Ou seja, as λ-transições não aumentam o poder de aceitação destes autômatos e portanto podem ser dispensadas do modelo. Finalmente, apresentamos uma aplicação destes autômatos no contexto de bioinformática.Sociedade Brasileira de Matemática Aplicada e Computacional2011-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512011000300002TEMA (São Carlos) v.12 n.3 2011reponame:TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)instname:Sociedade Brasileira de Matemática Aplicada e Computacionalinstacron:SBMAC10.5540/tema.2011.012.03.0171info:eu-repo/semantics/openAccessBedregal,B.C.por2012-10-05T00:00:00Zoai:scielo:S2179-84512011000300002Revistahttp://www.scielo.br/temaPUBhttps://old.scielo.br/oai/scielo-oai.phpcastelo@icmc.usp.br2179-84511677-1966opendoar:2012-10-05T00:00TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online) - Sociedade Brasileira de Matemática Aplicada e Computacionalfalse
dc.title.none.fl_str_mv λ-ALN: autômatos lineares não-determinísticos com λ-transições
title λ-ALN: autômatos lineares não-determinísticos com λ-transições
spellingShingle λ-ALN: autômatos lineares não-determinísticos com λ-transições
Bedregal,B.C.
Linguagens lineares
gramáticas lineares
forma normal
autômatos lineares não-determinísticos
λ-transições
title_short λ-ALN: autômatos lineares não-determinísticos com λ-transições
title_full λ-ALN: autômatos lineares não-determinísticos com λ-transições
title_fullStr λ-ALN: autômatos lineares não-determinísticos com λ-transições
title_full_unstemmed λ-ALN: autômatos lineares não-determinísticos com λ-transições
title_sort λ-ALN: autômatos lineares não-determinísticos com λ-transições
author Bedregal,B.C.
author_facet Bedregal,B.C.
author_role author
dc.contributor.author.fl_str_mv Bedregal,B.C.
dc.subject.por.fl_str_mv Linguagens lineares
gramáticas lineares
forma normal
autômatos lineares não-determinísticos
λ-transições
topic Linguagens lineares
gramáticas lineares
forma normal
autômatos lineares não-determinísticos
λ-transições
description Neste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáticas lineares, provamos que a classe de linguagens aceita por este tipo de autômato é exatamente a classe das linguagens lineares. Mostramos ainda que, análogo ao que ocorre com os autômatos finitos e com os autômatos com pilhas, a existência das λ-transições em um autômato linear não-determinístico não significa que não possa ser definido um autômato linear não-determinístico sem λ-transições que reconheça a mesma linguagem. Ou seja, as λ-transições não aumentam o poder de aceitação destes autômatos e portanto podem ser dispensadas do modelo. Finalmente, apresentamos uma aplicação destes autômatos no contexto de bioinformática.
publishDate 2011
dc.date.none.fl_str_mv 2011-12-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512011000300002
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512011000300002
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 10.5540/tema.2011.012.03.0171
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Matemática Aplicada e Computacional
publisher.none.fl_str_mv Sociedade Brasileira de Matemática Aplicada e Computacional
dc.source.none.fl_str_mv TEMA (São Carlos) v.12 n.3 2011
reponame:TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
instname:Sociedade Brasileira de Matemática Aplicada e Computacional
instacron:SBMAC
instname_str Sociedade Brasileira de Matemática Aplicada e Computacional
instacron_str SBMAC
institution SBMAC
reponame_str TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
collection TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
repository.name.fl_str_mv TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online) - Sociedade Brasileira de Matemática Aplicada e Computacional
repository.mail.fl_str_mv castelo@icmc.usp.br
_version_ 1752122219700420608