Journal of the ACM, Volume 11, 1964

Volume 11, Number 1, January 1964

Joseph D. Rutledge:
On Ianov's Program Schemata. 1-9
R. R. Brown:
Tape Sets and Automata. 10-14
John Cocke, Marvin Minsky:
Universality of Tag Systems with P=2. 15-20
David J. Farber, Ralph E. Griswold, I. P. Polonsky:
SNOBOL, A String Manipulation Language. 21-30
T. E. Hull, A. R. Dobell:
Mixed Congruential Random Number Generators for Binary Machines. 31-40
Frank Stockmal:
Calculations with Pseudo-Random Numbers. 41-52
C. Donald La Budde:
Two New Classes of Algorithms for Finding the Eigenvalues and Eigenvectors of Real Symmetric Matrices. 53-58
Josef Stoer:
A Direct Method for Chebyshev Approximation by Rational Functions. 59-69
William F. Pickard:
Tables of the Generalized Stirling Numbers of the First Kind. 70-78
Thomas P. Giammo:
A Mathematical Method for the Automatic Scaling of a Function. 79-83
Michael Yoeli, Shlomo Rinon:
Application of Ternary Algebra to the Study of Static Hazards. 84-97
E. J. Gauss:
Estimation of Power Spectral Density by Filters. 98-103
Maurice Pollack:
Message Route Control in a Large Teletype Network. 104-116

William S. Cooper:
Fact Retrieval and Deductive Question-Answering Information Retrieval Systems. 117-137
Harold Borko, Myrna Bernick:
Automatic Document Classification Part II. Additional Experiments. 138-151
R. Schroeder:
Input Data Source Limitations for Real-Time Operation of Digital Computers. 152-158
Brian Randell, L. J. Russell:
Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. 159-167
Robert L. Ashenhurst:
Function Evaluation in Unnormalized Arithmetic. 168-187
William B. Gragg, Hans J. Stetter:
Generalized Multistep Predictor-Corrector Methods. 188-209
Leonard Tornheim:
Convergence of Multipoint Iterative Methods. 210-220
James Ferguson:
Multivariable Curve Interpolation. 221-228
William F. Pickard:
Tables for the Step-by-Step Integration of Ordinary Differential Equations of the First Order. 229-233
W. J. Hemmerle:
Algebraic Specification of Statistical Models for Analysis of Variance Computations. 234-239
K. U. Smith, S. D. Ansell, J. Koehler, G. H. Servos:
Digital Computer System for Dynamic Analysis of Speech and Sound Feedback Mechanisms. 240-251

James R. Slagle:
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. 253-264
Ivan Flores:
Derivation of a Waiting-Time Factor for a Multiple-Bank Memory. 265-282
Eugene L. Lawler:
An Approach to Multilevel Boolean Minimization. 283-295
Martin Cohn:
Properties of Linear Machines. 296-301
Seymour Ginsburg, Thomas N. Hibbard:
Solvability of Machine Mappings of Regular Sets to Regular Sets. 302-312
Calvin C. Elgot, Joseph D. Rutledge:
RS -Machines with Almost Blank Tape. 313-337
Shmuel Winograd:
Input-Error-Limiting Automata. 338-351
Morris Gershinsky, David A. Levine:
Aitken-Hermite Interpolation. 352-356
Richard Kronmal:
Evaluation of a Pseudorandom Normal Number Generator. 357-363

Calvin C. Elgot, Abraham Robinson:
Random-Access Stored-Program Machines, an Approach to Programming Languages. 365-399
W. R. Klingman, David M. Himmelblau:
Nonlinear Programming with the Aid of a Multiple-Gradient Summation Technique. 400-415
Kenneth Hartt:
Some Analytical Procedures for Computers and Their Applications to a Class of Multidimensional Integrals. 416-421
L. Duane Pyle:
Generalized Inverse Computations Using the Gradient Projection Method. 422-428
Lee Krider:
A Flow Analysis Algorithm. 429-436
John O'Connor:
Mechanized Indexing Methods and Their Testing. 437-449
Harold Sackman, J. B. Munson:
Investigation of Computer Operating Time and System Capacity for Man-Machine Digital Systems. 450-464
A. Wood Edwards, Robert L. Chambers:
Can A Priori Probabilities Help in Character Recognition? 465-470
R. F. Dressler, W. Werner:
Error Rates for Two Methods of Statistical Pattern Recognition. 471-480
Janusz A. Brzozowski:
Derivatives of Regular Expressions. 481-494