Une langue régulière donnée contient-elle un sous-ensemble infini sans préfixe?
Un ensemble de mots sur un alphabet fini est sans préfixe s'il n'y a pas deux mots distincts où l'un est un préfixe de l'autre. La question est: Quelle est la complexité de vérifier si un langage régulier donné en NFA contient un sous-ensemble infini sans préfixe? Réponse (grâce à Mikhail Rudoy,...