프로그래밍 언어(Programming Language)

Contents:

• 1. 용어
  • 1.1. 문법적 메타언어(Syntactic Metalanguage)
  • 1.2. 생성 규칙(Production rules)
  • 1.3. 문맥 자유 문법(Context-free grammar)
  • 1.4. 배커스 정규형(Backus normal form)
  • 1.5. 확장된 배커스 정규형 (Extended Backus–Naur form, EBNF)
  • 1.6. 문법, 구문론(Syntax)
  • 1.7. 프로그래밍 언어(Programming language)
  • 1.8. 형식 언어(Formal language)
  • 1.9. 메타언어(Metalanguage)
  • 1.10. 형식적 문법 정의(Formal syntax definition)
  • 1.11. 매개변수, 인자값
  • 1.12. 시퀀스(Sequence)
  • 1.13. 펑터(Functor)
  • 1.14. 모나드(Monad)
  • 1.15. References
• 2. EBNF(Extended BNF)
  • 2.1. EBNF의 필요성
  • 2.2. BNF의 확장(extension)
  • 2.3. BNF의 한계
  • 2.4. 문장(Sentence)
  • 2.5. 시작 심볼(Start symbol)
  • 2.6. 단말 심볼(Terminal symbol)
  • 2.7. 비 단말 심볼(Non-terminal symbol)
  • 2.8. 메타 식별자(Meta-identifier)
  • 2.9. 연산자 우선순위
• 3. 분산 언어(Distribued Langauge)
  • 3.1. 분산 시스템
  • 3.2. 분산 시스템이 어려운 이유
  • 3.3. 분산 프로그래밍 언어/시스템 분류
  • 3.4. 각 모델 별 특징
  • 3.5. 참조