Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract)

@inproceedings{Cremanns1994ConstructingCP,
  title={Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract)},
  author={Robert Cremanns and Friedrich Otto},
  booktitle={ISSAC},
  year={1994}
}
Canonical presentations of groups are of interest, since they provide structurally simple algorithms for computing normal forms. A class of groups that has received much attention is the class of context-free groups. This class of groups can be characterized algebraically as well as through some language-theoretical properties as well as through certain combinatorial properties of presentations. Here we use the fact that a finitely generated group is context-free if and only if it admits a… CONTINUE READING