Mathematical Systems Theory, Volume 2

Volume 2, Number 1, 1968

Sheila A. Greibach: A Note on Undecidable Properties of Formal Languages. 1-6 BibTeX
E. Hemmingsen, William L. Reddy: Lifting and Projecting Expansive Homeomorphisms. 7-15 BibTeX
Otomar Hájek: Local Characterisation of Load Semi-Dynamical Systems. 17-25 BibTeX
John R. Isbell: Small Subcategories and Completeness. 27-50 BibTeX
T. F. Bridgland Jr.: A Criterion for Weak Controllability. 51-56 BibTeX
James W. Thatcher, Jesse B. Wright: Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. 57-81 BibTeX
Gabriel Thierrin: Permutation Automata. 83-90 BibTeX
William L. Reddy: Lifting Expansive Homeomorphisms to Symbolic Flows. 91-95 BibTeX

Alfred V. Aho, Jeffrey D. Ullman: The Theory of Languages. 97-125 BibTeX
Donald E. Knuth: Semantics of Context-Free Languages. 127-145 BibTeX , Correction: Mathematical Systems Theory 5(1): 95-96(1971) BibTeX
György E. Révész: An Efficient Syntactic Analyser of Certain Formal Languages. 147-158 BibTeX
Seymour Ginsburg, Edwin H. Spanier: Control Sets on Grammars. 159-177 BibTeX
Frank Hahn, William Parry: Some Characteristic Properties of Dynamical Systems with Quasi-discrete Spectra. 179-190 BibTeX

William F. Ogden: A Helpful Result for Proving Inherent Ambiguity. 191-194 BibTeX
Otomar Hájek: Linear Semi-Dynamical Systems. 195-202 BibTeX
Mihajlo D. Mesarovic: Auxiliary Functions and Constructive Specification of General Systems. 203-222 BibTeX
Azaria Paz: Homomorphisms Between Stochastic Sequential Machines and Related Problems. 223-245 BibTeX
Nelson G. Markley: Transitive Homeomorphisms of the Circle. 247-249 BibTeX
Czeslaw Olech: On the Range of an Unbounded Vector-Valued Measure. 251-256 BibTeX
Michael J. Fischer, Arnold L. Rosenberg: Real-Time Solutions of the Origin-Crossing Problem. 257-263 BibTeX
Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg: Counter Machines and Counter Languages. 265-283 BibTeX

Joachim Lambek: Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories. 287-318 BibTeX
P. J. Kahn, Anthony W. Knapp: Equivariant Maps onto Minimal Flows. 319-324 BibTeX
Ronald L. Graham: On Finite 0-Simple Semigroups and Graph Theory. 325-339 BibTeX
Arto Salomaa: On Regular Expressions and Regular Canonical Systems. 341-355 BibTeX
Mihajlo D. Mesarovic: On Some Metamathematical Results As Properties of General Systems. 357-361 BibTeX
P. C. Baayen, J. de Groot: Linearization of Locally Compact Transformation Groups in Hilbert Space. 363-379 BibTeX
Paul Zeiger: Correction: Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata. 381 BibTeX , ->Mathematical Systems Theory 1(3): 225-228(1967) BibTeX
James A. Yorke: Correction: Invariance for Ordinary Differential Equations. 381 BibTeX , ->Mathematical Systems Theory 1(4): 353-372(1967) BibTeX