Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems

@inproceedings{Muller1981PushdownAG,
  title={Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems},
  author={David E. Muller and Paul E. Schupp},
  booktitle={STOC},
  year={1981}
}
We have discovered a very strong connection between certain areas of theoretical computer science—the theory of context-free languages and pushdown automata, tiling problems, cellular automata, and vector addition systems—and certain concepts from group theory, topology, and second-order logic. We use these concepts to investigate a rather wide class of… CONTINUE READING