Исследование изучает минимальную информацию, необходимую для обеспечения состязательного обучения языку в рамках модели идентификации языка Голда в пределе. Доказывается, что одного терминального бита, добавленного в конец каждой строки, достаточно для идентификации любого счетного семейства бесконечных языков.
- Глобальная конструкция с использованием трансфинитной рекурсии позволяет по одному биту на строку идентифицировать все счетные подсемейства.
- Раскраски можно выбирать независимо от семейства, то есть одна заранее заданная раскраска подходит для любого подсемейства.
- Никакая глобальная терминальная раскраска с конечным числом цветов, определяемая борелевским отображением, не может идентифицировать все счетные подсемейства.
- Известные конструкции трассовой раскраски являются борелевскими, но требуют бесконечного числа цветов при кодировании как терминальные раскраски.
Этот результат показывает, что всю трассовую раскраску можно сжать до одного бита, хотя необходимая неконструктивность неизбежна для любого ограниченного числа цветов.