GRUSKA, Jozef, Daowen QIU, Lvjun LI, Xiangfu ZOU a Paulo MATEUS. Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. Acta Informatica. Springer-Verlag, 2011, roč. 48, 5-6, s. 271-290. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-011-0139-6. |
Další formáty:
BibTeX
LaTeX
RIS
@article{961193, author = {Gruska, Jozef and Qiu, Daowen and Li, Lvjun and Zou, Xiangfu and Mateus, Paulo}, article_number = {5-6}, doi = {http://dx.doi.org/10.1007/s00236-011-0139-6}, keywords = {Quantum finite automata; rozhodnutelnost; minimalizace}, language = {eng}, issn = {0001-5903}, journal = {Acta Informatica}, title = {Multi-letter quantum finite automata: decidability of the equivalence and minimization of states}, volume = {48}, year = {2011} }
TY - JOUR ID - 961193 AU - Gruska, Jozef - Qiu, Daowen - Li, Lvjun - Zou, Xiangfu - Mateus, Paulo PY - 2011 TI - Multi-letter quantum finite automata: decidability of the equivalence and minimization of states JF - Acta Informatica VL - 48 IS - 5-6 SP - 271-290 EP - 271-290 PB - Springer-Verlag SN - 00015903 KW - Quantum finite automata KW - rozhodnutelnost KW - minimalizace N2 - In this paper, we study the decidability of the equivalence and minimization problems of multi-letter quantum finite automata. ER -
GRUSKA, Jozef, Daowen QIU, Lvjun LI, Xiangfu ZOU a Paulo MATEUS. Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. \textit{Acta Informatica}. Springer-Verlag, 2011, roč.~48, 5-6, s.~271-290. ISSN~0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-011-0139-6.
|