变译理论例子