1. Bir damga takımını ve bu damga takımının damgalan ile bunların düğümlenmiş gösterimleri arasındaki bire bir ilişkileri saptayan ve hiçbir belirsizlik taşımayan kurallar kümesi.
2. Her bir damgası belli bir düğümle gösterilen herhangi bir damga takımı,
Bilişim Terimleri Sözlüğü