Kleinberg와 Mullainathan은 충분한 양의 긍정적인 예시가 있다면, 학습자가 목표 언어와 구별할 수 없는 문장을 생성할 수 있다는 것을 이론적으로 보여주었습니다. 그러나 이러한 보장의 존재는 실제적인 실행 가능성에 대해 말해주지 않습니다. 이 연구에서는 정규 언어 및 문맥 자유 언어와 같은 간단하고 잘 연구된 언어 가족조차 성공적인 생성을 위해 필요한 예시의 수가 매우 클 수 있으며, 어떤 경우에는 계산 가능한 함수에 의해 제한되지 않을 수 있음을 보여줍니다. 이러한 결과는 이론적 가능성과 효율적인 학습 가능성 사이에 상당한 격차가 있음을 드러냅니다. 이는 현대 언어 모델의 경험적 성공을 설명하기 위해 정교한 관점이 필요하며, 실제에서 효과적인 생성을 가능하게 하는 자연어의 구조적 특성을 고려해야 함을 시사합니다.
