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

08/10/2004, 15:00 — 16:00 — Sala P4.35, Pavilhão de Matemática
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.