Multi-letter quantum finite automata: decidability of the equivalence and minimization of states (2011)výskyt výsledku
Identifikační kód | RIV/00216224:14330/11:00054279 |
---|---|
Název v anglickém jazyce | Multi-letter quantum finite automata: decidability of the equivalence and minimization of states |
Druh | J - Článek v odborném periodiku |
Jazyk | eng - angličtina |
Obor - skupina | I - Informatika |
Obor | IN - Informatika |
Rok uplatnění | 2011 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku | 1 |
Počet tvůrců celkem | 5 |
Počet domácích tvůrců | 1 |
Výčet všech uvedených jednotlivých tvůrců | Jozef Gruska (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 9594744) Daowen Qiu (státní příslušnost: CN - Čínská lidová republika) Lvjun Li (státní příslušnost: CN - Čínská lidová republika) Xiangfu Zou (státní příslušnost: CN - Čínská lidová republika) Paulo Mateus (státní příslušnost: PT - Portugalská republika) |
Popis výsledku v anglickém jazyce | In this paper, we study the decidability of the equivalence and minimization problems of multi-letter quantum finite automata. |
Klíčová slova oddělená středníkem | Quantum finite automata; rozhodnutelnost; minimalizace |
Stránka www, na které se nachází výsledek | - |
DOI výsledku | 10.1007/s00236-011-0139-6 |
Údaje o výsledku v závislosti na druhu výsledku
Název periodika | Acta Informatica |
---|---|
ISSN | 0001-5903 |
Svazek periodika | 48 |
Číslo periodika v rámci uvedeného svazku | 5 |
Stát vydavatele periodika | DE - Spolková republika Německo |
Počet stran výsledku | 20 |
Strana od-do | 271-290 |
Kód UT WoS článku podle Web of Science | 000297512700001 |
EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
Předkladatel | Masarykova univerzita / Fakulta informatiky |
---|---|
Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
Rok sběru | 2012 |
Specifikace | RIV/00216224:14330/11:00054279!RIV12-MSM-14330___ |
Datum poslední aktualizace výsledku | 07.05.2012 |
Kontrolní číslo | 13244352 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
---|