01/04/2005, 15:00 — 16:00 — Room P4.35, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
Minimization of quantum automata
A new notion of quantum automaton, which generalizes that of Chris
Moore, is given. The automata states are density operators on a
Hilbert space and its outputs are probability spaces over the
spectrum of an observable. A suitable notion of quantum behaviour
is introduced and the problem of finding its minimimal realization
is addressed using techniques from linear automata theory. Joint
work with A. M. Martins and A. Sernadas.