Formal Properties of Well-formed Data Flow Schemas
Name
MIT-LCS-TM-066.pdf
Size
36.85 MB
Format
Adobe PDF
Checksum (MD5)
054b17aa1e5a816bfcd6881e0e20fb63
Author(s)
Leung, Clement Kin Cho
Advisor(s)
Dennis, Jack B.
Date Issued
June 1975
Series/Report no.
MIT-LCS-TM-066
MAC-TM-066
Abstract
This thesis presents some results in comparative schematology and some undecidability results for two models of computer programs: the class of flowchart schemas and the class of well-formed data flow schemas (wfdfs's). Algorithms are given for translating a schema in each class into an equivalent schema in the other class. The propertiees of freedom, _-freedom, openness, and completeness are defined and studied. For every path P in a free flowchart schema S, there exists an interpretation under which the flow of controls through S is along P. _-freedom is a generalization of freedom and captures the notion of freedom for wfdfs's. An open schema is one in which no basic component is redundant and a complete schema contains no subschema which, whenever enabled, does not terminate. A comparison of the expressive power of subclasses of flowchart schemas and wfdfs's possessing various combinations of these properties is made. It is shown that the class of free flowchart schemas properly contains the classes of free and _-free wfdfs's , and that the class of open and complete flowchart schemas is equivalent in expressive power to the class of open and complete wfdfs's. Three undecidabilty results for open and complete program schemas are established: openness is undecidable for complete program schemas, completeness is undecidable for open program schemas, and equivalence is undecidable for open and complete program schemas.
Persistent DSpace Link
