代入命令、判定命令、input, outputからなる有限の有向グラフ

要は高級言語で記述されたプログラムのこと

一般に「基本プログラム」という言葉があるのかどうかは知らない

『計算論 計算可能性とラムダ計算』で「Nプログラム」と呼んでいるもの