16/04/2004, 15:00 — 16:00 — Room P4.35, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
Quantum automata
Quantum versions of finite state automata and push-down automata
are presented. Analogs of several classical theorems, including
pumping lemmas and closure properties are discussed. The talk is
based on the work by C. Moore and J. P. Crutchfield.