 A machine table of this sort describes the operation of a deterministic automaton, but most machine state functionalists (e.g. Putnam 1967) take the proper model for the mind to be that of a probabilistic automaton: one in which the program specifies, for each state and set of inputs, the probability with which the machine will enter some subsequent state and produce some particular output.