Symbolic synthesis of digital computers
I.S. Reed · 1952
In an ideal sense a binary digital computer or what might be called more generally a Boolean* machine is an automatic operational filing system. It is a machine which accepts information automatically in the form of words constructed from an alphabet of only two symbols, say 0 and 1, the so-called binary coded words. For example a binary number is such a word. This information is stored or recorded in sets of elementary boxes or files, each containing one of the symbols 0 or 1. This information is either transformed or used to change other files or itself as a function of the past contents of all files within the system. If the contents of all files within the system are constrained to change only at discrete points of time, say the points n (n = 1,2,3, ...), then the machine may be termed a synchronous Boolean machine. The discussion in this paper will be restricted to the synchronous Boolean machine.