March 2003, 19pp.
We formalize elementary kinematics of motion on domains with measurements, and then use these ideas to calculate the complexity of Grover's algorithm for quantum searching. In particular, it is now possible to analyze classical and quantum searching in a single semantic framework.