Confluent string rewriting

Descrição: Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used... Veja mais