Uma abordagem quântica para o uso de expressões regulares.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572 |
Resumo: | As expressões regulares (ER) são conceitos abstratos da Teoria da Computação amplamente utilizados nas tarefas de processamento de texto e casamento de padrão que são aplicadas em diversas áreas, tais como, biologia computacional, processamento de sinais, recuperação de textos, reconhecimento de escrita a mão, reconhecimento de padrões, entre outras. As abordagens clássicas existentes para sua utilização possuem duas fases: i) a transformação da expressão regular em autômato finito, determinístico (AFD) ou não-determinístico (AFN); e ii) a implementação (codificação e simulação) do autômato em hardware clássico. No entanto, essas abordagens são ineficientes na execução de uma de suas fases, seja em relação ao tempo ou ao espaço utilizados. Este trabalho propõe uma abordagem quântica alternativa às abordagens clássicas para o uso de expressões regulares. Na abordagem proposta, a fase de transformação é dividida em duas: a transformação ER-AFN clássica é mantida e introduzse a transformação do AFN em um autômato finito quântico (AFQ) através da aplicação do algoritmo desenvolvido e apresentado neste trabalho. Esse algoritmo utiliza um modelo de AFQ que reconhece a classe das linguagens regulares (AFQ Ancilla). A transformação é feita em tempo polinomial e preserva o número de estados do AFN, eliminando tanto a ineficiência no uso da memória que resultava da transformação clássica AFN-AFD, quanto a posterior necessidade de minimização. Para a fase de implementação do autômato, é proposto um arcabouço para descrever um autômato finito quântico através da linguagem de circuitos quânticos, utilizando um número de portas polinomialmente proporcional à quantidade de estados do autômato e ao tamanho da palavra de entrada. Assim, a abordagem quântica é computacionalmente eficiente pois ambas as fases possuem complexidade polinomial, tanto de tempo quanto de espaço. |
id |
UFCG_836efc984d0d05171a475c731ad17dea |
---|---|
oai_identifier_str |
oai:localhost:riufcg/10572 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
LULA JÚNIOR, Bernardo.LULA JR, B.http://lattes.cnpq.br/1465309727421021GUERRERO , Dalton Dario Serey.COSTA, Antonio Carlos da Rocha.ISIDRO, C. R. G.http://lattes.cnpq.br/5614817314352471ISIDRO, Cheyenne Ribeiro Guedes.As expressões regulares (ER) são conceitos abstratos da Teoria da Computação amplamente utilizados nas tarefas de processamento de texto e casamento de padrão que são aplicadas em diversas áreas, tais como, biologia computacional, processamento de sinais, recuperação de textos, reconhecimento de escrita a mão, reconhecimento de padrões, entre outras. As abordagens clássicas existentes para sua utilização possuem duas fases: i) a transformação da expressão regular em autômato finito, determinístico (AFD) ou não-determinístico (AFN); e ii) a implementação (codificação e simulação) do autômato em hardware clássico. No entanto, essas abordagens são ineficientes na execução de uma de suas fases, seja em relação ao tempo ou ao espaço utilizados. Este trabalho propõe uma abordagem quântica alternativa às abordagens clássicas para o uso de expressões regulares. Na abordagem proposta, a fase de transformação é dividida em duas: a transformação ER-AFN clássica é mantida e introduzse a transformação do AFN em um autômato finito quântico (AFQ) através da aplicação do algoritmo desenvolvido e apresentado neste trabalho. Esse algoritmo utiliza um modelo de AFQ que reconhece a classe das linguagens regulares (AFQ Ancilla). A transformação é feita em tempo polinomial e preserva o número de estados do AFN, eliminando tanto a ineficiência no uso da memória que resultava da transformação clássica AFN-AFD, quanto a posterior necessidade de minimização. Para a fase de implementação do autômato, é proposto um arcabouço para descrever um autômato finito quântico através da linguagem de circuitos quânticos, utilizando um número de portas polinomialmente proporcional à quantidade de estados do autômato e ao tamanho da palavra de entrada. Assim, a abordagem quântica é computacionalmente eficiente pois ambas as fases possuem complexidade polinomial, tanto de tempo quanto de espaço.Regular expressions (ER) are abstract concepts from Computing Theory widely used in text processing and pattern matching tasks applied in numerous areas, such as, computational biology, signal processing, text retrieving, handwriting recognition, pattern recognition, etc. The classical approaches for their use have two phases: i) transformation from regular expression to finite automata, where the automata can be deterministic (AFD) or non-deterministic (AFN); and ii) automata implementation (codification and simulation) in classical hardware. However, both phases contain inefficiencies related to time or space consumed in their run. This work proposes a quantum approach alternative to the classical ones for regular expression usage. In the proposed approach, the transformation phase is divided into two steps: the classical conversion ER-AFN continues and it is introduced the transformation from AFN to quantum finite automata (AFQ), by using the algorithm developed and presented in this work. This algorithm uses an AFQ model that recognizes the regular language classes, the AFQ Ancilla model. The transformation is carried out in polynomial time and it preserves the AFN’s number of states, eliminating both the memory inefficiency resulting from AFN-AFD classical conversion, and the later minimization need. In automata implementation phase, it is proposed a framework to describe a quantum finite automata through the quantum circuits language, using a polynomial number of gates proportional to automata number of states and input word size.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2020-01-02T11:04:16Z No. of bitstreams: 1 CHEYENNE RIBEIRO GUEDES ISIDRO - DISSERTAÇÃO (PPGCC) 2008.pdf: 758749 bytes, checksum: a4060c8acf9c69761cad332dfbcb3c5c (MD5)Made available in DSpace on 2020-01-02T11:04:16Z (GMT). No. of bitstreams: 1 CHEYENNE RIBEIRO GUEDES ISIDRO - DISSERTAÇÃO (PPGCC) 2008.pdf: 758749 bytes, checksum: a4060c8acf9c69761cad332dfbcb3c5c (MD5) Previous issue date: 2008-02-29CapesUniversidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoTeoria da ComputaçãoComputação QuânticaExpressão RegularAutômato FinitoComputer TheoryQuantum ComputationRegular ExpressionFinite AutomatonUma abordagem quântica para o uso de expressões regulares.A quantum approach to using expressions regular.2008-02-292020-01-02T11:04:16Z2020-01-022020-01-02T11:04:16Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572ISIDRO, C. R. G. Uma abordagem quântica para o uso de expressões regulares. 2008. 80 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2008. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALCHEYENNE RIBEIRO GUEDES ISIDRO - DISSERTAÇÃO (PPGCC) 2008..pdfCHEYENNE RIBEIRO GUEDES ISIDRO - DISSERTAÇÃO (PPGCC) 2008..pdfapplication/pdf713845http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/10572/3/CHEYENNE+RIBEIRO+GUEDES+ISIDRO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2008..pdf02b7e5eb44e11c237ef259004a1db701MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/10572/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/105722022-03-28 14:55:33.211oai:localhost:riufcg/10572Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512024-07-01T10:08:44.651022Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
Uma abordagem quântica para o uso de expressões regulares. |
dc.title.alternative.pt_BR.fl_str_mv |
A quantum approach to using expressions regular. |
title |
Uma abordagem quântica para o uso de expressões regulares. |
spellingShingle |
Uma abordagem quântica para o uso de expressões regulares. ISIDRO, Cheyenne Ribeiro Guedes. Ciência da Computação Teoria da Computação Computação Quântica Expressão Regular Autômato Finito Computer Theory Quantum Computation Regular Expression Finite Automaton |
title_short |
Uma abordagem quântica para o uso de expressões regulares. |
title_full |
Uma abordagem quântica para o uso de expressões regulares. |
title_fullStr |
Uma abordagem quântica para o uso de expressões regulares. |
title_full_unstemmed |
Uma abordagem quântica para o uso de expressões regulares. |
title_sort |
Uma abordagem quântica para o uso de expressões regulares. |
author |
ISIDRO, Cheyenne Ribeiro Guedes. |
author_facet |
ISIDRO, Cheyenne Ribeiro Guedes. |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
LULA JÚNIOR, Bernardo. |
dc.contributor.advisor1ID.fl_str_mv |
LULA JR, B. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1465309727421021 |
dc.contributor.referee1.fl_str_mv |
GUERRERO , Dalton Dario Serey. |
dc.contributor.referee2.fl_str_mv |
COSTA, Antonio Carlos da Rocha. |
dc.contributor.authorID.fl_str_mv |
ISIDRO, C. R. G. |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/5614817314352471 |
dc.contributor.author.fl_str_mv |
ISIDRO, Cheyenne Ribeiro Guedes. |
contributor_str_mv |
LULA JÚNIOR, Bernardo. GUERRERO , Dalton Dario Serey. COSTA, Antonio Carlos da Rocha. |
dc.subject.cnpq.fl_str_mv |
Ciência da Computação |
topic |
Ciência da Computação Teoria da Computação Computação Quântica Expressão Regular Autômato Finito Computer Theory Quantum Computation Regular Expression Finite Automaton |
dc.subject.por.fl_str_mv |
Teoria da Computação Computação Quântica Expressão Regular Autômato Finito Computer Theory Quantum Computation Regular Expression Finite Automaton |
description |
As expressões regulares (ER) são conceitos abstratos da Teoria da Computação amplamente utilizados nas tarefas de processamento de texto e casamento de padrão que são aplicadas em diversas áreas, tais como, biologia computacional, processamento de sinais, recuperação de textos, reconhecimento de escrita a mão, reconhecimento de padrões, entre outras. As abordagens clássicas existentes para sua utilização possuem duas fases: i) a transformação da expressão regular em autômato finito, determinístico (AFD) ou não-determinístico (AFN); e ii) a implementação (codificação e simulação) do autômato em hardware clássico. No entanto, essas abordagens são ineficientes na execução de uma de suas fases, seja em relação ao tempo ou ao espaço utilizados. Este trabalho propõe uma abordagem quântica alternativa às abordagens clássicas para o uso de expressões regulares. Na abordagem proposta, a fase de transformação é dividida em duas: a transformação ER-AFN clássica é mantida e introduzse a transformação do AFN em um autômato finito quântico (AFQ) através da aplicação do algoritmo desenvolvido e apresentado neste trabalho. Esse algoritmo utiliza um modelo de AFQ que reconhece a classe das linguagens regulares (AFQ Ancilla). A transformação é feita em tempo polinomial e preserva o número de estados do AFN, eliminando tanto a ineficiência no uso da memória que resultava da transformação clássica AFN-AFD, quanto a posterior necessidade de minimização. Para a fase de implementação do autômato, é proposto um arcabouço para descrever um autômato finito quântico através da linguagem de circuitos quânticos, utilizando um número de portas polinomialmente proporcional à quantidade de estados do autômato e ao tamanho da palavra de entrada. Assim, a abordagem quântica é computacionalmente eficiente pois ambas as fases possuem complexidade polinomial, tanto de tempo quanto de espaço. |
publishDate |
2008 |
dc.date.issued.fl_str_mv |
2008-02-29 |
dc.date.accessioned.fl_str_mv |
2020-01-02T11:04:16Z |
dc.date.available.fl_str_mv |
2020-01-02 2020-01-02T11:04:16Z |
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://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572 |
dc.identifier.citation.fl_str_mv |
ISIDRO, C. R. G. Uma abordagem quântica para o uso de expressões regulares. 2008. 80 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2008. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572 |
identifier_str_mv |
ISIDRO, C. R. G. Uma abordagem quântica para o uso de expressões regulares. 2008. 80 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2008. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10572 |
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.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/10572/3/CHEYENNE+RIBEIRO+GUEDES+ISIDRO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2008..pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/10572/2/license.txt |
bitstream.checksum.fl_str_mv |
02b7e5eb44e11c237ef259004a1db701 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1803396629960589312 |