Search results for "quantum finite automata"

showing 3 items of 73 documents

FINITE AUTOMATA WITH ADVICE TAPES

2014

We define a model of advised computation by finite automata where the advice is provided on a separate tape. We consider several variants of the model where the advice is deterministic or randomized, the input tape head is allowed real-time, one-way, or two-way access, and the automaton is classical or quantum. We prove several separation results among these variants, demonstrate an infinite hierarchy of language classes recognized by automata with increasing advice lengths, and establish the relationships between this and the previously studied ways of providing advice to finite automata.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceComputer scienceω-automatonTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESDeterministic finite automatonDeterministic automatonComputer Science (miscellaneous)Automata theoryQuantum finite automataTwo-way deterministic finite automatonNondeterministic finite automatonAdvice (complexity)AlgorithmComputer Science::Formal Languages and Automata TheoryInternational Journal of Foundations of Computer Science
researchProduct

Jauni ieskati kvantu automātu stāvokļu skaita efektivitātē

2022

Kvantu galīgi automāti var sasniegt eksponenciālu stāvokļu skaitu efektivitāti, salīdzinot ar determinētiem galīgiem automātiem. Viena problēma, kurā ir zināms, ka kvantu galīgiem automātiem ir eksponenciālas priekšrocības, ir MODn problēma, taču nav zināma metode, kā uzkonstruēt tādu kvantu automātu. Šajā darbā eksponenciāli efektīvie MODn algoritmi tiek vispārināti jaunā algoritmā, kas samazina vajadzīgo stāvokļu skaitu. Jaunā algoritma saaistības ar esošiem virzieniem literatūrā tiek aprakstītas, un tiek piedāvātas divas jaunas skaitļu virknes, kuras varētu izmantot, lai uzkonstruētu tādus kvantu automātus.

discrete Fourier transformDatorzinātnegroup theoryquantum finite automatastate complexitydiscrepancy theory
researchProduct

Varieties Generated by Certain Models of Reversible Finite Automata

2006

Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of Kondacs-Watrous quantum finite automata. In this paper we consider some of the algebraic properties of RFA, namely the varieties these automata generate. Consequently, we obtain a characterization of the boolean closure of the classes of languages recognized by these models.

finite monoidNested word[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]Quantum automaton0102 computer and information sciences[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Computer Science::Computational Complexityω-automatonregular language01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Regular languageQuantum finite automata0101 mathematicsReversible automatonMathematicsDiscrete mathematicsFinite-state machine010102 general mathematicsNonlinear Sciences::Cellular Automata and Lattice GasesMR 68Q70AutomatonClosure (mathematics)010201 computation theory & mathematicsAutomata theoryComputer Science::Formal Languages and Automata Theory
researchProduct