结构程序设计的工具:结构流程图（SFC）和结构流程语言（SFL）

摘要

本文提出了一些结构程序设计的新工具:结构流程图（SFC）和结构流程语言（SFL）。SFC是一种图形语言,它不但可用来表示一个软件系统的层次结构,而且还可以用来指明系统的执行过程以至系统中数据的流向。SFL是一种新的结构程序设计语言。从SFC到SFL的变换是十分直接而容易的,甚至可以做到不会出错。此外,本文还建立了一个形式系统,在这种形式系统中,每个SFC可被严格地表示成一个结构流程表达式（SFE）。