Computation theory Vectors