Bulletin (New Series) of the American Mathematical Society

Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems

David E. Muller and Paul E. Schupp

Full-text: Open access

Article information

Source
Bull. Amer. Math. Soc. (N.S.) Volume 4, Number 3 (1981), 331-334.

Dates
First available in Project Euclid: 4 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.bams/1183548121

Mathematical Reviews number (MathSciNet)
MR609044

Zentralblatt MATH identifier
0484.03019

Subjects
Primary: 03D05: Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] 20F10: Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70] 68F05
Secondary: 03B25: Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 68D05

Citation

Muller, David E.; Schupp, Paul E. Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems. Bull. Amer. Math. Soc. (N.S.) 4 (1981), no. 3, 331--334.https://projecteuclid.org/euclid.bams/1183548121


Export citation

References

  • 1. A. V. Anisimov, Group languages, Kibernetika 4 (1971), 18-24.
  • 2. M. Hack, The equality problem for vector addition systems is undecidable, Theoret. Comput. Sci. 2 (1976), 77-96.
  • 3. M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1-35.
  • 4. J. Stallings, Group theory and three-dimensional manifolds, Yale Univ. Press, New Haven, Connecticut, 1971.