![[Logo] Mathematics @ Instituto Superior Técnico](/img/DM_Ersatz.svg "Mathematics @ Instituto Superior Técnico")
01/10/2004, 15:00 — 16:00 — Room P4.35, Mathematics Building
Misha Protin, Instituto Superior Técnico
Minimal realization for quantum automata
In this seminar we show how Moore and Crutchfield's concept of
quantum automata can be encompassed by Adamek's categorical theory
of F-Automata through the consideration of a special subcategory of
C-linear spaces with a tensor-product endofunctor. As a
consequence, a minimal realization result is derived, answering an
open problem posed by Moore and Crutchfield in 2000.
