Upper Bounds on the Size of One-Way Quantum Finite Automata

  • Authors:
  • Carlo Mereghetti;Beatrice Palano

  • Affiliations:
  • -;-

  • Venue:
  • ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that, for any stochastic event p of period n, there exists a measure-once one-way quantum finite automaton (1qfa) with at most 2驴6n + 25 states inducing the event ap + b, for constants a 0, b驴0, satisfying a+b 驴 1. This fact is proved by designing an algorithm which constructs the desired 1qfa in polynomial time. As a consequence, we get that any periodic language of period n can be accepted with isolated cut point by a 1qfa with no more than 2驴6n+26 states. Our results give added evidence of the strength of measure-once 1qfa's with respect to classical automata.