| 1977 | "Natural" Complexity Measures and Time versus Memory: Some Definitional Proposals. Donald A. Alton |
| 1977 | About the Derivation Languages of Grammars and Machines. Burkhard Monien |
| 1977 | Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings Arto Salomaa, Magnus Steinby |
| 1977 | Complexite des Demi-Groupes de Matrices. Gérard Jacob |
| 1977 | Complexity of Some Problems Concerning L Systems. Neil D. Jones, Sven Skyum |
| 1977 | Data Types as Objects. Adi Shamir, William W. Wadge |
| 1977 | Dynamic Binary Search. Kurt Mehlhorn |
| 1977 | Factor Graphs, Failure Functions and BI-Trees. Roland Carl Backhouse, R. K. Lutz |
| 1977 | How Hard is Compiler Code Generation? Alfred V. Aho, Ravi Sethi |
| 1977 | L Systems of Finite Index (Extended Abstract). Grzegorz Rozenberg, Dirk Vermeir |
| 1977 | LL(k) Languages are Closed Under Union with Finite Languages. Ileana Streinu |
| 1977 | Languages Defined by Higher Type Program Schemes. Werner Damm |
| 1977 | Left-Fitting Translations. Hans-Peter Kriegel, Thomas Ottmann |
| 1977 | Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps. Walter J. Savitch, Paul M. B. Vitányi |
| 1977 | Macro Grammars, Lindenmayer Systems and Other Copying Devices. Joost Engelfriet |
| 1977 | Non-Deterministic Polynomial Optimization Problems and Their Approximation. Azaria Paz, Shlomo Moran |
| 1977 | On Backtracking and Greatest Fixpoints. Willem P. de Roever |
| 1977 | On Defining Error Recovery in Context-Free Parsing. Seppo Sippu, Eljas Soisalon-Soininen |
| 1977 | On Three Types of Unambiguity of Context-Free Languages. Alexander Ja. Dikovsky, Larisa S. Modina |
| 1977 | On the Computational Power of Reversal-Bounded Machines. Ronald V. Book, Chee-Keng Yap |
| 1977 | On the Definition of Classes of Interpretations. Bruno Courcelle |
| 1977 | On the Difference Between One and Many (Preliminary Version). Janos Simon |
| 1977 | On the Proper Treatment or Referencing, Dereferencing and Assignment. Theo M. V. Janssen, Peter van Emde Boas |
| 1977 | On the Structure of Combinatorial Problems and Structure Preserving Reductions. Giorgio Ausiello, Alessandro D'Atri, Marco Protasi |
| 1977 | On the Time and Tape Complexity of Hyper(1)-AFL's. Wilhelm J. Erni |
| 1977 | Parallel Decomposition of LR(k) Parsers (Extended Abstract). David B. Benson, Ralph D. Jeffords |
| 1977 | Parsing and Syntactic Error Recovery for Context-Free Grammars by Means of Coarse Structures. Ernst-Wolfgang Dieterich |
| 1977 | Rational relations of Binary Trees. Masako Takahashi |
| 1977 | Renaming and Erasing in Szilard Languages. Matthias Höpner, Manfred Opp |
| 1977 | Semantics and Proof Theory of Pascal Procedures. Krzysztof R. Apt, J. W. de Bakker |
| 1977 | Serial Composition of 2-Way Finite-State Transducers and Simple Programs on Strings. Michal Chytil, Vojtech Jákl |
| 1977 | Simple Chain Grammars. Anton Nijholt |
| 1977 | Simple Programs and Their Decision Problems. Amir Pnueli, Giora Slutzki |
| 1977 | Some Matching Problems. Alon Itai, Michael Rodeh |
| 1977 | Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. Alberto Bertoni, Giancarlo Mauri, Mauro Torelli |
| 1977 | Structural Equivalence of Context-Free Grammar Forms is Decidable. Hermann K.-G. Walter |
| 1977 | Termination Tests inside lambda-Calculus. Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini |
| 1977 | The Contextsensitivity Bounds of Contextsensitive Grammars and Languages. Franz-Josef Brandenburg |
| 1977 | The Mathematics of Record Handling. Hartmut Ehrig, Barry K. Rosen |
| 1977 | The Safety of a Coroutine System. Jorma Sajaniemi |
| 1977 | The Sequence Equivalence Problem for D0L Systems is Decidable. Karel Culík II, Ivan Fris |
| 1977 | The Time and Tape Complexity of Developmental Languages. Ivan Hal Sudborough |
| 1977 | Theory of Data Structures by Relational and Graph Grammars. Václav Rajlich |
| 1977 | Time-Space Trade-Offs in a Pebble Game. Wolfgang J. Paul, Robert Endre Tarjan |