【喵呜刷题小喵解析】:对于计算机程序来说,它可以存在于内存中,也可以被保存为文件。因此,选项A“程序也可以不形成文件”是正确的。同样,如果程序被保存,它当然可以形成文件,所以选项B“程序可以形成文件”也是正确的。选项C“程序必须形成文件”是不准确的,因为程序并不一定要形成文件,它可以在内存中运行。选项D“程序就是文件”也是不正确的,因为虽然程序可以被保存为文件,但程序本身并不等同于文件,它可以在没有文件的情况下在内存中运行。