Algebraic characterization of reducible flowcharts

https://doi.org/10.1016/0022-0000(83)90038-7Get rights and content
Under an Elsevier user license
open archive

Abstract

Reducible flowcharts as introduced by Hecht and Ullman have been algebraically characterized by Elgot and Shepherdson. They showed them to be freely generated from elementary flowcharts by means of composition, sum, and scalar iteration. In this paper the algebraic characterization is extended to the class of infinite almost accessible reducible flowcharts.

Cited by (0)