Sign In

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Romain Peyrichou

πŸ’‘ κ°œμš”

λ³Έ 논문은 ν˜•μ‹ μ–Έμ–΄ μ΄λ‘ μ—μ„œ 생성(generation)κ³Ό 인식(recognition) κ°„μ˜ 근본적인 λΉ„λŒ€μΉ­μ„±μ„ μ—¬μ„― κ°€μ§€ μ°¨μ›μ—μ„œ νƒκ΅¬ν•©λ‹ˆλ‹€. 두 과정이 λ™μΌν•œ μ–Έμ–΄λ₯Ό μ •μ˜ν•˜μ§€λ§Œ, 계산 λ³΅μž‘μ„±, λͺ¨ν˜Έμ„±, λ°©ν–₯μ„±, 정보 κ°€μš©μ„±, 문법 μΆ”λ‘ , μ‹œκ°„μ„± λ“±μ—μ„œ μš΄μ˜μƒμœΌλ‘œ μƒλ‹Ήν•œ 차이가 μžˆμŒμ„ λ°νž™λ‹ˆλ‹€. 특히, 생성은 μ œμ•½μ΄ 없을 λ•Œ λ‹¨μˆœν•˜μ§€λ§Œ, 인식은 μž…λ ₯이 μ£Όμ–΄μ§€λ―€λ‘œ 항상 μ œμ•½μ΄ μžˆμ–΄ 본질적으둜 λ‹€λ₯Έ 어렀움을 κ°–λŠ”λ‹€λŠ” 점을 κ°•μ‘°ν•©λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
생성과 인식 κ°„μ˜ λΉ„λŒ€μΉ­μ„±μ€ λ‹¨μˆœν•œ "생성은 쉽고 인식은 μ–΄λ ΅λ‹€"λŠ” 톡념을 λ„˜μ–΄, μ–Έμ–΄ 처리 μ‹œμŠ€ν…œ 섀계 및 이해에 μ€‘μš”ν•œ 톡찰을 μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
μ‹œκ°„μ„± μ°¨μ›μ—μ„œ μ œμ•ˆλœ λ†€λžŒ(surprisal) ν”„λ ˆμž„μ›Œν¬λŠ” μƒμ„±μž(λ†€λžŒ 0)와 λΆˆν™•μ‹€μ„± ν•˜μ—μ„œ μ˜ˆμΈ‘ν•˜λŠ” νŒŒμ„œ(λ†€λžŒ > 0) κ°„μ˜ μ‹œκ°„μ  λΉ„λŒ€μΉ­μ„±μ„ ν˜•μ‹ν™”ν•˜λŠ” 데 κΈ°μ—¬ν•©λ‹ˆλ‹€.
β€’
λ…Όλ¬Έμ—μ„œ μ œμ‹œλœ μ—¬μ„― κ°€μ§€ μ°¨μ›μ˜ λΉ„λŒ€μΉ­μ„±μ€ μžμ—°μ–΄ 처리, 컴파일러 섀계 λ“± λ‹€μ–‘ν•œ μ‘μš© 뢄야에 λŒ€ν•œ μƒˆλ‘œμš΄ 관점을 μ œμ‹œν•˜λ©°, 특히 μ–‘λ°©ν–₯ μ‹œμŠ€ν…œμ˜ 잠재적 이점을 κ°•μ‘°ν•˜μ§€λ§Œ, μ‹€μ œ 적용으둜의 확산이 λ”λ””λ‹€λŠ” 점을 μ§€μ ν•©λ‹ˆλ‹€.
β€’
λŒ€κ·œλͺ¨ μ–Έμ–΄ λͺ¨λΈμ΄ 생성과 인식을 ꡬ쑰적으둜 ν†΅ν•©ν•˜μ§€λ§Œ μš΄μ˜μƒμœΌλ‘œ λΉ„λŒ€μΉ­μ„±μ„ μœ μ§€ν•œλ‹€λŠ” 점은 ν₯미둜운 κ΄€μ°°μ΄μ§€λ§Œ, μ΄λŸ¬ν•œ ν†΅ν•©λœ λͺ¨λΈμ—μ„œ λΉ„λŒ€μΉ­μ„±μ΄ μ–΄λ–»κ²Œ ꡬ체적으둜 μž‘μš©ν•˜κ³  μ–΄λ–€ 영ν–₯을 λ―ΈμΉ˜λŠ”μ§€μ— λŒ€ν•œ 더 κΉŠμ€ 뢄석이 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘