J 2011

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

GRUSKA, Jozef; Daowen QIU; Lvjun LI; Xiangfu ZOU; Paulo MATEUS et. al.

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

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

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ěněno: 20. 4. 2012 09:17, RNDr. Pavel Šmerk, Ph.D.

Anotace

ORIG CZ

V originále

In this paper, we study the decidability of the equivalence and minimization problems of multi-letter quantum finite automata.

Česky

Článek zkoumá rozhodnutelnost ekvivalence a problém minimalizace víceznakových kvantových konečných automatů.

Návaznosti

MSM0021622419, záměr
Ná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