L'étude examine l'information minimale requise pour permettre l'apprentissage linguistique adversarial dans le modèle d'identification des langues de Gold à la limite. Elle démontre qu'un seul bit terminal attaché à la fin de chaque chaîne suffit pour identifier toute collection dénombrable de langages infinis.

  • Une construction globale utilisant une récurrence transfinie permet d'identifier toutes les sous-collections dénombrables avec un bit par chaîne.
  • Les colorations peuvent être choisies indépendamment de la collection, ce qui signifie qu'une seule coloration prédéfinie fonctionne pour n'importe quelle sous-collection.
  • Aucune coloration terminale globale avec un nombre fini de couleurs définie par une application borélienne ne peut identifier toutes les sous-collections dénombrables.
  • Les constructions connues de coloration de trace sont boréliennes mais nécessitent une infinité de couleurs lorsqu'elles sont encodées comme des colorations terminales.

Ce résultat montre qu'une trace de coloration entière peut être compressée en un seul bit, bien que la non-constructivité nécessaire soit inévitable pour tout nombre fini de couleurs.