Information and Computation, Volume 51

Volume 51, Number 1, 1981

Péter Gács, Leonid A. Letvin: Causal Nets or What is a Deterministic Computation. 1-19
Toshio Nomura: Homomorphisms and Congruences for Abstract Feedback Systems. 20-44
Takeshi Hashimoto: A Direct Proof of the Equality between the Block Definition and the Process Definition of Distortion-Rate Functions for Stationary Ergodic Sources. 45-57
Matthew Hennessy: A Term Model for Synchronous Processes. 58-75
Dana Angluin: A Note on the Number of Queries Needed to Identify Regular Languages. 76-87
Karel Culik II, Derick Wood: A Note on Recurrent Words. 88-93

Eric Goles Ch., Servet Martínez A.: A Short Proof on the Cyclic Behaviour of Multithreshold Symmetric Automata. 95-97
Eric Goles Ch., J. Olivos A.: The Convergence of Symmetric Threshold Automata. 98-104
Eduardo D. Sontag: Conditions for Abstract Nonlinear Regulation. 105-127
Val Tannen, Octavian Stanasila: A Generalization of Kleene's Theorem and Nondeterministic Structured Programming. 146-152
Ian W. McKeague: On the Capacity of Channels with Gaussian and Non-Gaussian Noise. 153-173
M. Kunze, Huei-Jan Shyr, Gabriel Thierrin: H-Bounded and Semi-discrete Languages. 174-187
Gheorghe Paun: Corrigendum to ``The Complement of a Finite Index Matrix Language Is Context Sensitive''. 188-192

K. Ferentinos, T. Papaioannou: New Parametric Measures of Information. 193-208
Akira Shiozaki: Proposal of a New Coding Pattern in Orchard Scheme. 209-215
Xu Ziwei: On the Representation and Enumeration of Fuzzy Switching Functions. 216-226
David G. Morgenthaler, Azriel Rosenfeld: Surfaces in Three-Dimensional Digital Images. 227-247
Richard A. Upton: An Extension of Tree Adjunct Grammars. 248-274
Cees Witteveen, Harrie Boelens: Inferring Control Structures from the Behaviour of a Production System. 275-301