© 1986 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
The Hierarchy of Program Control Structures
ík *Institute for Computation Technique of Technique University, Horska 3, 128 00 Praha 2, Czechoslovakia
The structural hierarchy of programs is presented in this paper. It is defined on the basis of a composition of control structures. It is shown that there is an infinite hierarchy
1,
2,...
n,... so that the control structures in
n cannot be expressed as a superposition of control structures in
k1n1
k unless we use new variables or GOTO statements.
1 contains D-structures (Ref.7),
2 contains cycles with two exits,
3 is partly covered by Adams' (Ref.1) proposal. Three characterisations of
n are introduced and their hierarchy is inspected. From the hierarchy new control structures convenient for implementation are deduced. Our results show some limits of GOTO-less programming and indicate some reasons why GOTO statement has returned into programming languages.
Received January 1984.
* Institute for Computation Technique of Technique University, Horská 3, 128 00 Praha 2, Czechoslovakia