08/10/2004, 15:00 — 16:00 — Room P4.35, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
Observational versus measurement equivalence of quantum automata
After reviewing some key concepts and results in classical automata
theory and categorical automata theory, two notions of equivalence
between quantum automata are presented and exemplified. The
significance of the result presented in the previous talk by Misha
Protin is discussed. Two open problems are identified in the theory
of minimization of quantum automata. This reports ongoing
discussions with Amilcar Sernadas.
Supported by: Phys-Info (IT), SQIG (IT), CeFEMA and CAMGSD, with funding from FCT, FEDER and EU FP7, specifically through the Doctoral Programme in the Physics and Mathematics of Information (DP-PMI), FCT strategic projects PEst-OE/EEI/LA0008/2013 and UID/EEA/50008/2013, IT project QuSim, project CRUP-CPU CQVibes, the FP7 Coordination Action QUTE-EUROPE (600788), and the FP7 projects Landauer (GA 318287) and PAPETS (323901).
