The construction of more complicated robots from these basic building blocks constitutes a large part of the theory of automata. The first step in the direction of generalization is to define the neural nets that correspond to formal expressions in n variables of the propositional calculus—that is, the formal system that concerns “or,” “and,” “not,” and “implies.” A single output automaton (of which the above three are simple examples) is a neural net with n input neurons, one output neuron, and with interconnections between neurons that conform to the rule that no neuron stimulated at time t can impinge upon a neuron that could have experienced its first stimulation at the same or an earlier time. The latter rule is the requirement of no feedback. Given this concept of a single output automaton, it is possible to examine the output response at time t + s, considered as a function of the configuration of stimuli at the n input neurons at time t. This response can be compared with the truth value of a logical statement (polynomial) from the propositional calculus. A logical statement is formed from n component propositions, each of which can assume the truth value either true or false. The comparison between automaton and logical statement is accomplished by matching response at the output neuron at time t + s with truth value of the statement for every one of the 2ⁿ cases in which the configuration of stimuli conforms to the configuration of truth values of the component propositions. If, in this sense of comparison, the functional response of the automaton is identical to the functional value of the logical statement (polynomial), the automaton is then said to compute the statement (polynomial) or the statement is said to be computable. A wider class of computable statements is introduced with the general automaton, yet to be defined, as with the more general Turing machine.

The important distinction between the logical statement and the automaton that computes it is that the first is free of any time ingredient while the second is defined only with reference to a time delay of length s.

A basic theorem states that for any polynomial P of the propositional calculus, there exists a time delay s and a single output automaton A, such that A computes P with time delay s. The proof of the theorem rests on the fact from the propositional calculus that all statements are composed from component propositions with the operations of disjunction, conjunction, and negation and the fact from the automata theory that all single output automata can be composed by interconnecting elementary automata of the disjunctive, conjunctive, and negative types.

A second step of generalization in the construction of robots proceeds from the single output automata to the neural net that possesses more than one output neuron and in which the internal connections may include feedback. Such a construction is called a “general automaton.” The class of general automata includes all-purpose, electronic digital computers the memory-storage units of which are of fixed, though possibly of very considerable, size. It is within the context of the general automaton that the purely automated decision-making, computing, controlling, and other sophisticated neural functions so suggestive of the mental ability of human beings may appropriately be discussed.

The Turing machine can be defined not only as it was in the introduction (roughly following Turing’s approach) but as a general automaton to which an unbounded memory unit (such as an unbounded tape) is added. Thus, the general automaton and the Turing machine differ in logical design only with respect to the extent of memory storage.

Britannica Quiz

Numbers and Mathematics

The distinction is critical, however, for Turing proposed that the class of numbers computable on his machine (a wider class than can be obtained by general automata) coincide with those that are effectively computable in the sense of constructive logics. A simple convention also makes it possible to interpret the output of a Turing machine as the computation of a function. The class of functions so computed, called “Turing computable” or “computable,” are of basic importance at the foundations of mathematics and elsewhere. It can also be stated that a useful class of functions that are definable without reference to machines, namely, the so-called partial recursive functions, has the same membership as the class of computable functions. For the present purposes, then, no effort need be made to define the partial recursive functions.

Turing’s approach admitted mathematical formalization to the extent that a finite list of symbols q₁, q₂, q₃, · · ·, q_n could be used to denote internal states and a finite list of symbols a, b, c, · · ·, λ could designate abstractly what is called “the alphabet”—that is, the list from which individual members could be chosen and printed into the squares of the machine’s tape. If the symbols R and L, respectively, designate a move of the tape one square to the right and one square to the left, it remains only to list in some orderly fashion the alternative possible steps in the machine’s operation in order to define it completely. Turing himself chose to list alternate steps, or instructions, in the form of quintuples of the above symbols. It is also possible to use quadruples to define a machine. Such a list, then, of, say, quadruples of instructions is equivalent to a Turing machine, and it is significant that the list is finite.

The finiteness of the list of quadruples of instructions leads to the idea that all Turing machines can be listed—that is, they are at most countable in number. This being the case, it can be proved that there is what Turing called a “universal” machine capable of operating like any given Turing machine. For a given partial recursive function of a single argument, there is a corresponding integer, called the Gödel number, that identifies the Turing machine capable of computing the given function. The Gödel number and the argument value of the function to be computed can be given as input data on the tape of the universal machine. From the Gödel number, the list of instructions, defined in the form of quadruples, that are necessary for the computation of the given recursive function at the specific argument value can be encoded by the universal machine on its own tape, and, from that point on, the universal machine will duplicate the required Turing machine.

Input: events that affect an automaton

Once having reached the definition of the general automaton and the more general universal Turing machine, a general definition of the events in the environment that stimulate it may be introduced. The automaton, which computes logical statements, is not defined without reference to time, a characteristic that distinguishes the machine itself from the logic. In the same way, stimuli are not definable, in general, without reference to time. These facts are indicative of the simulation features that the computing machine bears with respect to man.

For an automaton with n input neurons, N₁, N₂, · · ·, N_n, an individual history of stimulation, starting with the present moment, t = 0, and continuing to the remote past, can be recorded as a sequence of n-tuples, (β₁, β₂, · · ·, β_n), in which each binary digit, β_k, is either a 0 or a 1. Thus, the beginning of one such individual history for an automaton of four neurons might be recorded in tabular form as an unending list of quadruples of the type (1, 0, 1, 1) (see Box, display 1).

An event is a collection of individual histories. This is a generalization of the idea already used to characterize an environmental message transmitted to the two input neurons of an elementary automaton at time t - 1. As an example, the stimulus (0, 1) is the same as the collection of all individual histories in which neuron N₂ was stimulated at time t - 1 and neuron N₁ was not. As another example, the event that neuron N₂ (of a two-neuron automaton) is presently stimulated and has always been stimulated on alternate second can be represented as the collection of two individual histories (see 2). While some events require an infinite tabulation, others that specify the states of each neuron over a finite past (allowing that anything might have occurred before) permit a finite tabulation. Events of the second kind are called definite events, or stimuli.

The construction (either actual or theoretical) of a general automaton with the help of the logical components and interconnections of a neural net results in an entity that responds in reproducible ways to stimuli. A response becomes recorded as a configuration of binary digits, corresponding to the states of the finite number of output neurons at a specified time t in the future, while a stimulus is a collection of individual histories extending over the past and including the present. The logical construction implies a behaviour in the guise of a listing of responses to all possible stimuli. Reciprocally, for a given behaviour of the type defined, the possible structure of a machine that could produce such behaviour can be investigated.