| 1971 | A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets Robert McNaughton |
| 1971 | Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers Václav Rajlich |
| 1971 | Addressable Data Graphs: Extended Abstract Arnold L. Rosenberg |
| 1971 | Algebraic Structure Theory of Stochastic Machines Eugene S. Santos |
| 1971 | An Algebraic Theory of Recursive Definitions and Recursive Languages Eric G. Wagner |
| 1971 | An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars Gérard Terrine |
| 1971 | An Iteration Theorem for One-Counter Languages Luc Boasson |
| 1971 | Block Structure: Retention or Deletion? (Extended Abstract) Daniel M. Berry |
| 1971 | Classification of Computable Functions by Primitive Recursive Classes Michael Machtey |
| 1971 | Complexity Classes of Partial Recursive Functions (Preliminary Version) Edward L. Robertson |
| 1971 | Complexity of Formal Translations and Speed-Up Results Robert L. Constable, Juris Hartmanis |
| 1971 | Domolki's Algorithm Applied to Generalized Overlap Resolvable Grammars David S. Wise |
| 1971 | Fast Matrix Multiplication Charles M. Fiduccia |
| 1971 | Formal Languages and Power Series Donald F. Stanat |
| 1971 | Intersection-Closed full AFL and the Recursively Enumerable Languages Seymour Ginsburg, Jonathan Goldstine |
| 1971 | Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations William James Meyers |
| 1971 | Loop Schemata Robert L. Constable |
| 1971 | On Generalized Finite Automata and Unrestricted Generative Grammars H. W. Buttelmann |
| 1971 | On the Parallel Computation of Local Operations Shi-Kuo Chang |
| 1971 | Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, USA Michael A. Harrison, Ranan B. Banerji, Jeffrey D. Ullman |
| 1971 | Some Results Concerning Efficient and Optimal Algorithms J. Ian Munro |
| 1971 | Some Results in Tree Automata Leon S. Levy, Aravind K. Joshi |
| 1971 | The Care and Feeding of LR(k) Grammars Alfred V. Aho, Jeffrey D. Ullman |
| 1971 | The Complexity of Theorem-Proving Procedures Stephen A. Cook |