On Flowchart Theories: Part II. The Nondeterministic Case (original) (raw)

Theoretical Computer Science, 1987

Abstract

... Sketch of a direct proof. In FIX,T(1,1) the sum is associative with neutral element 0 and the composition is associative with neutral element l; moreover, F+ F'F+ F, F (F'+F")S 1 F F'+FF", (F'+F") a FSEF' F+F" F, F 0' 0 and 0 F'E0. Hence FIX,T(1, 1) =nd is a semiring. ...

Gheorghe Stefanescu hasn't uploaded this paper.

Let Gheorghe know you want this paper to be uploaded.

Ask for this paper to be uploaded.