e/Graph rewriting

Information
has gloss	eng: Graph transformation, or Graph rewriting, concerns the technique of creating a new graph out of an original graph using some automatic machine. It has numerous applications, ranging from software verification to layout algorithms.
lexicalization	eng: Graph rewriting
instance of	e/Formal language

Meaning
German
has gloss	deu: Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von Graphersetzungsregeln p: L \rightarrow R. Eine Graphersetzungsregel p besteht aus dem Mustergraphen L der linken Seite sowie dem Ersetzungsgraphen R der rechten Seite. (zu den möglichen Varianten von Graphen, die in einer Regel auftreten können, siehe Typen von Graphen in der Graphentheorie)
lexicalization	deu: Graphersetzungssystem
lexicalization	deu: Graphersetzung
Portuguese
has gloss	por: Na Teoria dos Grafos, reescrita de grafos denota um sistema de reescrita para grafos, isto é, um conjunto de regras de reescrita de grafos da forma \rho: L \longrightarrow R, sendo \,L o grafo usado como padrão (no lado esquerdo) e \,R o grafo de substituição (no lado direito da regra).
lexicalization	por: reescrita de grafos