研究人员通过直接从语言而非底层机器模型定义计算迹线，解决了极限内语言识别的开放问题。他们证明，使用与语言字母表大小呈线性关系的小令牌字母表即可实现正识别结果。

  • 迹线直接由语言定义，无需显式的自动机理论机器模型。
  • 令牌字母表的大小相对于语言的字母表呈线性关系，且独立于其他语言属性。
  • 这种方法克服了之前的限制，即迹线依赖于特定生成机器的大字母表。