An analysis of quantum walks