![[Logo] Mathematics @ Instituto Superior Técnico](/img/DM_Ersatz.svg "Mathematics @ Instituto Superior Técnico")
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.
