基本プログラム
代入命令、判定命令、input, outputからなる有限の有向グラフ
要は高級言語で記述されたプログラムのこと
一般に「基本プログラム」という言葉があるのかどうかは知らない
mrsekut.icon
『計算論 計算可能性とラムダ計算』
で「Nプログラム」と呼んでいるもの