Formalizing Search in a State Space