Multi-letter quantum finite automata: decidability of the equivalence and minimization of states

• Název česky: Víceznakové kvantové konečné automaty: rozhodnutelnost ekvivalence a minimalizace stavů
• Autoři: GRUSKA Jozef; QIU Daowen; LI Lvjun; ZOU Xiangfu; MATEUS Paulo
• Rok publikování: 2011
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Acta Informatica
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/s00236-011-0139-6
• Obor: Informatika
• Klíčová slova: Quantum finite automata; rozhodnutelnost; minimalizace
• Popis: Článek zkoumá rozhodnutelnost ekvivalence a problém minimalizace víceznakových kvantových konečných automatů.

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy