Egy számítógépes program, amely átalakítja egy következés-ból kimutatások kifejezett az egyik nyelven való egyenértékű sorozata kimutatások kifejezett más nyelven.