An algebraic theory for use in digital computer design

An algebraic theory of the logical operation of digital computers is developed. This theory takes into account the dynamic (time) behavior of computer processes. The computer signals and computer elements are described. Their properties which are pertinent to the logical operation of digital computers are abstracted and. formulated in mathematical terms. The signals are represented by algebraic symbols, and the way they are transformed by the elements of the computer is represented in terms of algebraic operations and functions. This computer algebra is based on Boolean algebra. Time is treated as a discrete variable and a method of taking into account the time relationships in the computer processes is developed. Specific components, such as gates, flip-flops, and magnetic drums, are analyzed, and an algebraic description of their operation is obtained.