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
Základní údaje
Originální název 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 (703 Slovensko, garant, domácí), Daowen QIU (156 Čína), Lvjun LI (156 Čína), Xiangfu ZOU (156 Čína) a Paulo MATEUS (620 Portugalsko).
Vydání Acta Informatica, Springer-Verlag, 2011, 0001-5903.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.444
Kód RIV RIV/00216224:14330/11:00054279
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1007/s00236-011-0139-6
UT WoS 000297512700001
Klíčová slova česky Kvantové konečné automaty; ekvivalence; minimalizace
Klíčová slova anglicky Quantum finite automata; rozhodnutelnost; minimalizace
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 20. 4. 2012 09:17.
Anotace
In this paper, we study the decidability of the equivalence and minimization problems of multi-letter quantum finite automata.
Anotace česky
Článek zkoumá rozhodnutelnost ekvivalence a problém minimalizace víceznakových kvantových konečných automatů.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
VytisknoutZobrazeno: 30. 4. 2024 19:39