DocumentCode
1138070
Title
Realization of Boolean Expressions by Atomic Digraphs
Author
Prather, Ronald E. ; Casstevens, Harold T., II
Author_Institution
Department of Mathematics, University of Denver
Issue
8
fYear
1978
Firstpage
681
Lastpage
688
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1978.1675174
Filename
1675174
Link To Document