문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 컴퓨터공학 (문단 편집) ==== [[프로그래밍 언어론]], [[형식언어]] ==== [[언어학]], [[수학]], [[컴퓨터과학]]의 학제적 연구 분야이다. 기본적으로 [[놈 촘스키]]의 생성문법적 관점에서 [[의미론]]과 [[통사론]]을 배우는 것이며, 여기서 파생되는 다양한 [[프로그래밍 언어]], [[대수학]](정확히는 환론과 군론, 카테고리 이론), [[오토마타 이론]], [[컴파일러]]의 구현법 등을 추가로 배우게 된다. [[컴파일러]] 작성을 통한 언어 구현을 중시하며 그에 관련된 이론은 맛보기로 배우는 경우도 있는가 하면, 아예 관련 이론만 빠삭하게 들이파는 경우도 있다. 만약 PL [[교수]]가 학생들에게 '프로그래밍 언어론' 을 가르치고자 한다면, 보통 수업 시간에 증명을 상당히 많이 다루게 된다. 반면, 교수가 학생들에게 그냥 다양한 언어들의 특성을 가르치게 된다면, 그런 느낌은 별로 들지 않는다. 만약 후자면 프로그래밍 경험이 많으면 잘 따라갈 수 있지만, 그렇지 않고 이론, 증명 위주로 과목을 가르치게 되면, 논리적인 사고가 부족한 학생들은 죽을 맛이 된다(...) 자세한 내용은 [[https://en.wikipedia.org/wiki/Programming_language_theory|Programming language theory]] 문서를 참고하십시오. * [[형식언어]] * [[프로그래밍 언어론]] * [[유형 이론]] : 수학, 논리학, 컴퓨터 과학에서 유형 이론(類型理論, 영어: type theory) 또는 유형론은 유형의 개념을 사용하여, 합법적으로 사용 가능한 논리식에 제한을 두는 논리 체계들의 총칭이다. 최초의 유형 이론은 버트런드 러셀이 만든 분지 유형 이론이다. * 함수형 프로그래밍 * [[오토마타 이론]] * [[컴파일러]] 이론 * [[인터프리터]]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기