촘스키 통사론 질문

[익명(59.21)]

언어학에 관심있어 여기까지 오게 되었는데요. 촘스키의 통사론이 증명이론이라는 학문을 이용한다고 하는데 증명이론에서 어디부분의 이론을 이용하는지 아시분 있나요?

[익명(1.227)]

생성문법이라면 형식문법 이론을 자연언어에 적용한 겁니다. 구문론적인 거라 증명론 얘기가 나온듯

[익명(59.21)]

형식문법이라는 것이 증명이론이라는 것인가요?

[익명(223.39)]

증명이론? 이라고도 볼수 있지만 그냥 문법규칙

[익명(123.99)]

자세하게 알려줄수있나요?

[익명(118.45)]

그냥 아무 수리논리책 펴서 앞부분 syntax라고 된부분 읽어보셈

[익명(59.21)]

수리논리 책중에 촘스키통사론을 자세히 다루는 책을 추천부탁드려요

[익명(222.104)]

그건 저도 모르고요, 증명이론에서 어디부분을 이용하는지 물으시길래 기초적인 문장형성규칙과 관련된 부분을 이용한다고 답해드린겁니다~

[익명(59.21)]

증명이론에 관련된 이론의 제목이 뭔지 알수있을까요?

[익명(1.227)]

형식언어에는 형식문법이라는 게 있어서 그거에 따라 기계적으로 문법에 맞는 논리식들만이 만들어지도록 되어있습니다. 그걸 자연언어에 적용해서 문법 맞는 문장만을 기계적으로 생산해내는 일종의 알고리즘이 생성문법.

[익명(1.227)]

책이라면 형식언어 관련 책을 찾아보시면 됩니다. 컴퓨터과학이랑 관계가 깊어요

[익명(59.21)]

궁금한것은 형식문법이라는것이 증명이론에서 어떤이론을 쓰는건지 궁금하네용

[익명(1.227)]

syntax적인 거지만, 제가 알기로 현대적 의미의 증명론과 큰 관계는 없습니다. 그런데 애초에 형식언어, syntax 등등의 의미를 모르시면 설명이 안됨

[익명(121.50)]

위키백과에 보니 생성문법 G라는 식이 있던데 이식으로 자연언어에 대해 문장을 생성하는 것인가요?

[익명(1.227)]

네. 기계적으로