| Texto completo | |
| Autor(es): |
Grilo, A. B.
;
Moura, A., V
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA; v. 10, p. 13-pg., 2013-01-01. |
| Resumo | |
Several quantum computational models were proposed in order to study how the quantum structure of matter could improve computational tasks. Among them, there are some that are based on finite automata, which are simpler computational devices, that helps to understand how a finite number of qubits could help to increase the power of the model. In this work, we study two-way finite automata with quantum and classical states (2QCFA), focusing on computability and complexity questions. We show results presented in the literature involving languages recognizability and closure properties and we then present some partial results on languages not recognized by the model. (AU) | |
| Processo FAPESP: | 12/22478-7 - Complexidade computacional e computação quântica |
| Beneficiário: | Alex Bredariol Grilo |
| Modalidade de apoio: | Bolsas no Exterior - Estágio de Pesquisa - Mestrado |
| Processo FAPESP: | 12/06648-0 - Computação Quântica e Teoria da Computação |
| Beneficiário: | Alex Bredariol Grilo |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |