Tra từ graph rewriting - Từ điển Máy Tính

History Search

Từ điển Máy Tính - Foldoc Dictionary

graph rewriting system graph rewriting system An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.