Deduced a large number of the Apia by PAR ,then used them to test the transformation system.

• 用PAR方法推导了大量典型的Apla程序，用其对自动程序转换系统进行了测试。