ProgrammingLanguageTheory

언어는 정보 교류를 위한 도구고, 컴퓨팅 영역에서는 위에서 보이듯 단계별로 다른 언어가 존재하고, 이 수업에서는 실현 레벨에서의 언어인 프로그래밍 설계 언어를 다룬다. 프로그래밍 언어는 字符集+规则集, 즉 문자와 규칙들로 이루어져 있다. 알고리즘과 자료를 묘사하는데 쓰

컴퓨터 성능이 좋아지면서 이제 효율성보다는 정확성에 조금더 무게가 실리는 추세다. 어쨌든 그래도 언어는 컴퓨터에 의존한다. 언어를 만들때, 컴퓨터 자체의 성능, 컴퓨터에서 지원되는 언어의 실행 모델 (가상 컴퓨터), 언어로 구현하는 계산 모델들이 요소가 된다.컴퓨터의

어법이라고 쓰겠다. 단어의 구성 방식, 단어 간의 관계를 보여주는데 사용된다. 어법은 유효한 프로그램을 구성하는 문자 시퀀스를 설명한다고 보면 된다. C에서 x=y+z는 유효한 기호 시퀀스이고 xy+는 아닌것도 이 어법 덕분이다.근데 어법만으론 부족하다. x=2.45+

문법은 비종결기호(非终结符), 종결기호 (终结符), 시작 기호(开始符, 비종결기호중 하나), 그리고 생성 규칙으로 구성된다. 이중 0~3형 문법이 있다.3형 문법: 정규 문법 (正则文法)로, 어휘 분석의 모델을 정의한다.2형 문법: BNF 문법 혹은 문맥에 구애받지 않

모든 프로그램은 작업 집합을 특정한 순서로 데이터에 적용하는 것으로 볼 수 있고, 이것은 프로그램이 데이터를 처리하는 방식을 나타낸다. 언어간의 기본 차이점으로 허용되는 데이터 유형, 가능한 연산 유형, 작업 순서를 제어하는 메커니즘이 있다.데이터는 컴퓨터에 비트 문자

구조

상속자

순차 제어는 프로그램과 프로그램 집합이 연산과 데이터를 조합하는 구조를 제공한다. 이는 연산 실행 순서의 제어 (顺序控制)와 서브루틴간 데이터 전달 (数据控制) 두가지 문제와 관련이 있다.순차 제어 구조는 네 가지 주요 그룹으로 나눌 수 있다.표현식 내의 구조: 연산의

프로그램은 서브루틴을 단위로 하는 계층 구조로 볼 수 있다. 서브루틴 호출의 제어 메커니즘은 '복사' 규칙으로 설명할 수 있는데, 즉, 서브루틴 호출 문장의 효과는 서브루틴 본문의 복사본으로 호출 문장을 대체하고 (적절하게 매개변수와 충돌하는 식별자를 대체함으로써) 같