以下对于递归程序的阐述，正确的是（ ）。递归程序的程序结构是典型的分支结构。递归程序中必须要有一个递归的终结条件，否则程序将以栈溢出错误终止。一个问题的递归求解算法容易证明程序的正确性。递归程序设计技术不宜在实时系统中使用。