12. The computer program product of claim 11 , wherein the operations further include applying SCFG rules to line segments represented in the plurality of error surfaces to expand the plurality of error surfaces, and wherein combining the plurality of error surfaces further includes calculating a sum of one or more first error surfaces and calculating a union of one or more second error surfaces.
11. The computer program product of claim 10 , wherein the operations further include generating the translation hypergraph using Synchronous Context Free Grammars (SCFG).