Title :
Realization of Boolean Expressions by Atomic Digraphs
Author :
Prather, Ronald E. ; Casstevens, Harold T., II
Author_Institution :
Department of Mathematics, University of Denver
Abstract :
A theory relating certain labeled directed graphs and Boolean expressions over propositional variables is seen to have several interesting applcations in computer science, most notably to programming, compiling, and switching theory. The applications arise from the capability of realizing any Boolean expression by a member of the class of digraphs here considered, those we shall call "atomic."
Keywords :
Boolean algebra; compiler theory; directed graphs; iterative circuits; programming languages; switching theory; Algebra; Application software; Arithmetic; Circuits; Computer languages; Computer science; Flowcharts; Mathematics; Program processors; Testing; Boolean algebra; compiler theory; directed graphs; iterative circuits; programming languages; switching theory;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1978.1675174
