In this paper, an abstract algorithm is presented, and a proof of a convergence theorem is given.

The new similarity rule improves the translation accuracy with high coverage. The abstract-case-included case base and the recursively abstract algorithm promote the system's efficiency.

The Template Method pattern defines the skeleton of an algorithm in a base class, using abstract methods and overriding to defer individual details to child classes.