ON THE INCLUSION PROBLEM FOR FINITELY AMBIGUOUS RATIONAL TRACE LANGUAGES

摘要

Dans cet article nous prouvons que le problème d'inclusion est décidable pour une classe particulière de langages de traces, à savoir la classe R_(FIN)(Σ,C) des langages de traces rationnels finiment ambigus sur l'alphabet Σ = A∪B avec la relation de commutation C = (AxΣ∪Σx A)I.%In this work we prove that the Inclusion Problem is decidable for a particular class of trace languages that is the class R_(FIN)(Σ, C) of finitely ambiguous rational trace languages over an alphabet Σ = A∪B with the commutation relation C = (A x Σ ∪ Σ x A)I.