程序进化器

研究用模拟进化方法进行程序设计的途径。构造了以形式文法为遗传表示的程序进化器,提出了这个进化器使用的有关算法。本文用程序进化器解决了人工蚁问题。     

含控制相关的循环并行执行

文中定义了在当代向量计算机上可高效实现的merge与pos函数,提出利用二函数消去do循环中forward—if与search—if的方法。本文讨论了向量化forward—loop的一般性方法并引入封闭子图的概念,给出一种简化语句执行条件的途径。