Formal languages analysed by quantum walks

Abstract

Discrete time quantum walks are known to be universal for quantum computation. This has been proven by showing that they can simulate a universal gate set. In this paper we examine computation in terms of language acceptance and present two ways in which discrete time quantum walks can accept some languages with certainty. These walks can take quantum as… (More)

Topics

5 Figures and Tables

Cite this paper

@article{Barr2012FormalLA, title={Formal languages analysed by quantum walks}, author={Katie Barr and Vivien M. Kendon}, journal={CoRR}, year={2012}, volume={abs/1209.5238} }