Solvability of Machine Mappings of Regular Sets to Regular Sets.
Derivation of a Waiting-Time Factor for a Multiple-Bank Memory.
Properties of Linear Machines.
An Approach to Multilevel Boolean Minimization.
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions.
Evaluation of a Pseudorandom Normal Number Generator.
RS -Machines with Almost Blank Tape.
Aitken-Hermite Interpolation.
Input-Error-Limiting Automata.