研究者は、言語ではなく基盤となる機械モデルから直接計算トレースを定義することで、極限における言語識別の未解決課題に取り組んでいる。彼らは、言語のアルファベットサイズに線形比例する小さなトークンアルファベットを使用して、正の識別結果が達成可能であることを実証した。

  • トレースは明示的なオートマトン理論に基づく機械モデルを必要とせず、言語から直接定義される。
  • トークンアルファベットのサイズは言語のアルファベットに対して線形であり、他の言語特性に依存しない。
  • このアプローチは、特定の生成機械からの大きなアルファベットに依存していた以前の制限を克服する。