一阶扩展Cooper变换改进型  

AN EXPANSIVE COOPER TRANSFORMATION

作　　者：李芬兰[1] 陈庆锋[1] 唐柳英 

机构地区：[1]广西师范大学数学与计算机科学系,541004

出　　处：《广西师范大学学报（哲学社会科学版）》1996年第S2期221-224,共4页Journal of Guangxi Normal University(Philosophy and Social Sciences Edition)

摘　　要：提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。In this paper,an expansive Cooper transformation pattern is presented,its correctness is proved by the structural inductive method,and an application is given.

关 键 词：程序变换 递归变换 自动程序设计 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]