A Semantically Meaningful Characterization of Reducible Flowchart Schemes
暂无分享,去创建一个
A “scalar” flowchart scheme, i.e. one with a siugle begin “instruction” is reducible iff its underlying flowgraph is reducible in the sense of Cocke and Allen tir Hecht and IJllman. We characterize the class of reducible scalar flowchart schemes as the smallest class containing certain members and closed under certain operations (on and to flowchart schemes). These operations are “semantically meaningful*’ in the sense tha operations of the same form are meaningful for “the” functions (or partial functions) computed by interpreted flowchart schemes; moreover, the schemes and the functions “are related by a homomorphism.” By appropriately generalizing “flowgraph” to (possibly) several begins (i.e. entries) we obtain a class of reducible “vector” flowchart schemes which can be characterized in a manner analogous to the scalar case but involving simpler more basic operations (which are also semantically meaningful). A significant side effect of this semantic viewpoint is the treatment of multi-exit flowchart schemes on an equal footing with single exit ones.
[1] Stephen L. Bloom,et al. Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes , 1979, Theor. Comput. Sci..
[2] Stephen L. Bloom,et al. The Existence and Construction of Free Iterative Theories , 1976, J. Comput. Syst. Sci..