①不正确，因为程序框图中的循环不可以是无尽循环；②不正确，对于一个算法来说，程序框图是不唯一的，可以有几种形式；③正确，任何一个框图都必须有起止框；④不正确，程序框图只有一个入口，但可以有多个出口．故选C．
