Seminário de Computação e Informação Quântica

Sessões

16/04/2004, 15:00 — 16:00 — Sala P4.35, Pavilhão de Matemática
Paulo Mateus, Instituto Superior Técnico

Quantum automata

Quantum versions of finite state automata and push-down automata are presented. Analogs of several classical theorems, including pumping lemmas and closure properties are discussed. The talk is based on the work by C. Moore and J. P. Crutchfield.

Apoiado por: Phys-Info (IT), SQIG (IT), CeFEMA e CAMGSD, com financiamento de FCT, FEDER and EU FP7, especificamente via o Doctoral Programme in the Physics and Mathematics of Information (DP-PMI), os projectos estratégicos FCT PEst-OE/EEI/LA0008/2013 e UID/EEA/50008/2013, o projecto IT QuSim, o projecto CRUP-CPU CQVibes, a Acção de Coordenação FP7 QUTE-EUROPE (600788) e os projectos FP7 Landauer (GA 318287) e PAPETS (323901).

7th Framework Programme