연구자들은 언어가 아닌 기반 기계 모델에서 직접 계산 트레이스를 정의함으로써 극한에서의 언어 식별에 대한 미해결 문제를 해결하고 있습니다. 그들은 언어의 알파벳 크기에 선형적으로 비례하는 작은 토큰 알파벳을 사용하여 양의 식별 결과를 달성할 수 있음을 입증했습니다.
- 트레이스는 명시적인 오토마타 이론 기반 기계 모델을 필요로 하지 않고 언어에서 직접 정의됩니다.
- 토큰 알파벳 크기는 언어의 알파벳에 대해 선형이며 다른 언어 특성과 무관합니다.
- 이 접근 방식은 특정 생성 기계의 큰 알파벳에 의존했던 이전의 한계를 극복합니다.