Une caractérisation de trois variétés de langages bien connues

Jean-Éric Pin




Résumé : Le résultat principal de cet article montre que trois variétés de langages bien connues (les langages rationnels, les langages sans étoile et les langages localement testables) peuvent être caractérisés à l'aide des codes prefixes finis qu'elles contiennent.


Abstract : The main result of this paper stated that three well-known varieties of languages (the rational languages, the star-free languages and the locally testable languages) can be characterized by the finite prefix codes they contain.



Valid HTML 4.01!