结构化程序设计方法研究

给出了把非结构化程序流程图转换成结构化程序流程图的一个有效算法，并证明了其正确性。