JCSS, Volume 8

Volume 8, Number 1, February 1974

S. J. Walljasper: Left-Derivation Bounded Languages. 1-7
Johnson M. Hart: Ambiguity and Decision Problems for Local Adjunct Languages. 8-21
Richard S. Bird: On Transformations of Programs. 22-35
J. P. Crestin: Structure des Grammaires d'Ambiguïté Bornée. 36-40
Ratan K. Guha, Raymond T. Yeh: On Periodicity of Sequential Machines. 41-70
Harry R. Lewis: Program Schemata and the First-Order Decision Problem. 71-83
Toshihide Ibaraki: Classes of Discrete Optimization Problems and Their Decision Problems. 84-116

Yaacov Choueka: Theories of Automata on omega-Tapes: A Simplified Approach. 117-141
Nabil A. Khabbaz: A Geometric Hierarchy of Languages. 142-157
Armin B. Cremers, Otto Mayer: On Vector Languages. 158-166
Yoshihide Igarashi, Namio Honda: Deterministic Multitape Automata Computations. 167-189
Patrick C. Fischer, John C. Warkentin: Predecessor Machines. 190-219
Edward K. Blum, Garry H. Rodrigue: Solution of Eigenvalue Problems in Hilbert Spaces by a Gradient Method. 220-237
György E. Révész: Comment on the Paper "Error Detection in Formal Languages". 238-242
Seymour Ginsburg, Gene F. Rose: The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors. 243-269

David S. Johnson: Fast Algorithms for Bin Packing. 272-314
Brenda S. Baker, Ronald V. Book: Reversal-Bounded Multipushdown Machines. 315-332
Joseph A. Goguen: On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. 333-365
Allan Borodin, R. Moenck: Fast Modular Transforms. 366-386
A. J. Kfoury: Translatability of Schemas over Restricted Interpretations. 387-408
T. S. E. Maibaum: A Generalized Approach to Formal Languages. 409-439