该研究调查了在Gold的极限语言识别模型中启用对抗性语言学习所需的最小信息。它证明，附加在每个字符串末尾的单个终端位足以识别任何可数的无限语言集合。

  • 使用超限递归的全局构造允许每个字符串用一个位来识别所有可数子集。
  • 着色可以独立于集合进行选择，这意味着一个预先指定的着色适用于任何子集。
  • 由Borel映射定义的具有有限种颜色的全局终端着色无法识别所有可数子集。
  • 已知的迹线着色构造是Borel的，但当编码为终端着色时需要无限多种颜色。

这一结果表明，整个迹线着色可以压缩为一个位，尽管对于任何有界数量的颜色来说，必要的非构造性是无法避免的。