Système de Semi-thue

concept

Propriétés

p279_labels
réécriture

Catégories