The complexity of graph languages generated by hyperedge replacement

@article{Lautemann1990TheCO,
  title={The complexity of graph languages generated by hyperedge replacement},
  author={Clemens Lautemann},
  journal={Acta Informatica},
  year={1990},
  volume={27},
  pages={399-421}
}
Although in many ways, hyperedge replacement graph grammars (HRGs) are, among all graph generating mechanisms, what context-free Chomsky grammars are in the realm of string rewriting, their parsing problem is known to be, in general, NP-complete. In this paper, the main difficulty in HRG parsing is analysed and some conditions on either grammar or input graphs are developed under which parsing can be done in polynomial time. For some of the cases, the parsing problem is shown to be log-space… CONTINUE READING