Recognizable Graph Languages for Checking Invariants

@article{Blume2010RecognizableGL,
  title={Recognizable Graph Languages for Checking Invariants},
  author={Christoph Blume and H. J. Sander Bruggink and Barbara K{\"o}nig},
  journal={ECEASST},
  year={2010},
  volume={29}
}
We generalize the order-theoretic variant of the Myhill-Nerode theorem to graph languages, and characterize the recognizable graph languages as the class of languages for which the Myhill-Nerode quasi order is a well quasi order. In the second part of the paper we restrict our attention to graphs of bounded interface size, and use Myhill-Nerode quasi orders to verify that, for such bounded graphs, a recognizable graph property is an invariant of a graph transformation system. A recognizable… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…