From bounded T-systems to 1-safe T-systemsup to language equivalence
Résumé
We show that every finite and bounded marked graph or T-system has a 1-safe labelled version with an identical language.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00071878
Soumis le : mardi 23 mai 2006-19:04:28
Dernière modification le : mardi 25 avril 2023-15:04:06
Archivage à long terme le : dimanche 4 avril 2010-22:42:35