Proof of Understanding
Computation의 의미답 보기답 닫기
Symbol에 정해진 형식 규칙을 적용해 다른 Symbol로 변환하는 과정
Examples
- 이진수 덧셈은 입력 Symbol인 101과 110에 비트 덧셈 규칙을 적용해 출력 Symbol인 1011로 변환한다.
Computation에 Symbol의 의미가 필요하지 않은 이유답 보기답 닫기
계산 결과는 Symbol의 의미가 아니라 Symbol의 형태와 적용할 규칙으로 결정되기 때문이다
Examples
- 기계는 101과 110을 각각 5와 6이라는 수량으로 해석하지 않고도, 각 자리의 두 입력 비트와 올림(carry)에 이진 덧셈 규칙을 적용해 1011을 출력할 수 있다.
Concepts
Symbol에 변환 규칙을 적용해 다른 Symbol로 변환하는 과정
Symbol의 핵심적인 특성 중 하나는 Symbol 자체에는 의미가 없다는 것이다.
이 말은 즉, 계산은 Symbol의 의미를 이해하는 과정이 아니라, 정해진 형식 규칙에 따라 입력 Symbol을 다른 Symbol로 변환하는 과정이다.
예를 들어 다음과 같은 이진수 덧셈이 있다고 해보자.
101
+ 110
-----
1011
사람은 101과 110을 각각 수량으로 해석하여 5 + 6 = 11이라는 의미를 부여할 수 있다. 그러나 계산을 수행하는 기계가 이러한 수량의 의미까지 이해할 필요는 없다.
기계는 오른쪽 자리부터 입력 비트와 올림(carry)만 보고, 정해진 규칙으로 결과 비트와 다음 carry를 정한다.
01
1의 자리
수량 의미가 아니라 입력 비트와 carry만 보고 결과 비트와 다음 carry를 정한다.
1 + 0 + carry 0
→ bit 1, carry 0↓
02
2의 자리
같은 규칙을 다음 자리에도 그대로 적용한다.
0 + 1 + carry 0
→ bit 1, carry 0↓
03
4의 자리
합이 2 이상이면 결과 비트는 0이고 carry가 1이 된다.
1 + 1 + carry 0
→ bit 0, carry 1↓
04
새 자리
남은 carry를 새로운 자리 비트로 쓰면 최종 Symbol이 완성된다.
carry 1
→ 1011즉, 기계는 Symbol이 무엇을 의미하는지 이해하지 않아도 정해진 규칙에 따라 “덧셈”이라는 연산을 수행할 수 있다.