Concepts de base
순차 신경망 언어 모델은 확률적 튜링 기계와 동등한 표현력을 가지며, 실시간 제약 하에서는 결정적 실시간 확률적 튜링 기계와 동등한 표현력을 가진다.
Résumé
이 연구는 순차 신경망 언어 모델(RLM)의 계산적 표현력을 분석한다. 먼저 RLM이 무제한 계산 시간을 가지는 경우, 확률적 튜링 기계(PTM)와 동등한 표현력을 가짐을 보인다. 이를 위해 다음과 같은 단계를 거친다:
- 다수의 확률적 전이 함수를 가지는 일반화된 확률적 튜링 기계(QPTM)를 정의하고, QPTM이 확률적 2스택 푸시다운 오토마타(2PDA)와 강하게 동등함을 보인다.
- Siegelmann과 Sontag(1992)의 결정적 튜링 기계 시뮬레이션 기법을 확률적 경우로 확장하여, QPTM을 ε-전이를 허용하는 RLM(εRLM)으로 시뮬레이션할 수 있음을 보인다.
- εRLM이 2PDA와 약하게 동등함을 보임으로써, εRLM의 표현력이 2PDA에 의해 상한 지어짐을 보인다.
다음으로, 실시간 제약 하에서의 RLM의 표현력을 분석한다:
- 실시간 결정적 확률적 2PDA(RD-2PDA)와 실시간 결정적 확률적 튜링 기계(RD-QPTM)를 정의하고, 이 두 모델이 강하게 동등함을 보인다.
- RLM이 RD-2PDA를 시뮬레이션할 수 있음을 보임으로써, 실시간 RLM의 표현력이 RD-QPTM에 의해 하한 지어짐을 보인다.
이를 통해 RLM의 표현력에 대한 상한과 하한을 제시하였다. 마지막으로 몇 가지 추가적인 연구 문제를 제시한다.