An Application of Recurcive Programming Techniques : Automatic Generation of Prime Implicants of Boolean Functions By the Subfunction method

Subfunction method is an algolithm for computing the prime implicants of a Boolean function. This paper presents a recursive pogramming techniques for subfunction method in the case where the computer program is written in FORTRAN. Behaviors of the stack in which is stored informations of return address or data of recursive procedures which have a lready been called, but not finished off yet, is explained in datail. The memory space size for the program to occupy is estim ated, and a few examples of computing time is also given roughly.プログラミングにおける再帰的技法とは，データサイズnの処理手順を考えるとき，複数個のより小さなサイズの問題に変えて自分自身の処理手順を階層的に呼び出していく方法で，再帰的（recursive）に定義された関数や再帰自分構造をもつ情報を処理しようとするときに有効である。本論文ではブール関数の主項（Prime Implicant）を求めるための一手法として発表されている部分間数法のアルゴリズムが本質的にこのような再帰的性質をもつことを指摘し，アルゴル風に書かれた再帰的手順によって実行できることを示す。又，本来，副手順の再帰的呼び出しを禁じているFORTRAN言語ではスタックレジスタを用いることによって再帰的プログラミングを実現できるが，その方法について大要を述べる