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

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