BQP puede verse como el conjunto de los lenguajes asociados a ciertas familias uniformes de circuitos cuánticos.Un lenguaje "L" pertenece a BQP si y solo si existe una familia polinomial uniforme de circuitos cuánticos formula_1, tal que: