Graph rewriting - Wikipedia, the free encyclopedia