- 계산,computation
- 대응,correspondence
- 동치,equivalence
- 루프,loop
- 매개변수,parameter
- 메시지,message
- 문제,problem
- 분석,analysis
- 소프트웨어,software
- 시간,time
- 시뮬레이션,simulation
- 실행,execution
- 아규먼트,argument
- 애플리케이션,application
- 앨지브라,algebra
- 인스턴스,instance
- 제어,control
- 제어흐름,control_flow
- 터미네이션,termination
- 텍스트_편집기,text_editor
- 표기법,notation
- 프로그래밍,programming
- 프로그래밍언어,programming_language
- 프로그램,program
- 프로세스,process
- 합성,synthesis
Show Context.