Исследователи решают открытые вопросы идентификации языков в пределе, определяя вычислительные трассы непосредственно из языков, а не из базовых моделей машин. Они демонстрируют, что результаты положительной идентификации достижимы с использованием небольшого алфавита токенов, линейного относительно размера алфавита языка.

  • Трассы определяются непосредственно из языка без необходимости явной автомата-теоретической модели машины.
  • Размер алфавита токенов линейно зависит от алфавита языка и не зависит от других свойств языка.
  • Этот подход преодолевает предыдущие ограничения, при которых трассы опирались на большие алфавиты конкретных порождающих машин.