λ-ALN: autômatos lineares não-determinísticos com λ-transições
Autor(a) principal: | |
---|---|
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 |