다음에 할 일을 건네면,
점프 뒤에 무엇이 실행될까요?

사회자 그렇다면 빈 로그를 받아 안내 C를 적는 것만으로도 ‘남은 계산’이 되나요?

답변 그렇습니다. k(σ)=σ 뒤에 C 추가라고 정하면 빈 로그에는 [C]가, 이미 A가 적힌 로그에는 [A,C]가 남습니다. 같은 k를 두 상태에 적용해도 결과는 달라집니다. 맨 끝에서 더 할 일이 없을 때는 상태를 그대로 돌려주는 항등 함수를 씁니다. 그 함수도 하나의 후속 계산입니다.

사회자 뒤에 있는 명령부터 묶으면 실행도 거꾸로 되는 것 아닌가요?

답변 종료 카드 k를 탁자에 놓고, 그 앞에 안내, 저장, 접수를 차례로 끼워 넣어 보세요. 완성된 묶음은 접수(저장(안내(k)))입니다. 실제 장부에는 접수부터 적힙니다. 뒤에서부터 만든 것은 나중에 할 일을 가리키는 연결이지 실행 로그가 아닙니다. 실험 1에서 저장과 안내의 자리를 바꾸면 연결 모양과 로그가 나란히 달라집니다.

사회자 goto가 B를 건너뛰면, 이미 적힌 A도 지워지나요?

답변 점프는 지금 가진 장부를 들고 L로 갑니다. 없애는 것은 앞으로 B를 실행하라는 연결입니다. 앞에서 A를 적었다면 L의 안내 C가 받은 장부에도 A가 있습니다. 따라서 결과는 [C]가 아니라 [A,C]입니다. 점프를 과거 상태로 되돌리는 동작과 혼동하면 이 한 글자가 달라집니다.

사회자 실행 파일에서 L이 120번 주소에 있었다가 다음 번에는 180번에 놓이면 의미도 달라질까요?

답변 두 배치 모두 L에서 안내 C를 실행하고 끝난다면, 여기서 비교하는 로그의 함수는 같습니다. 어느 주소에서 몇 바이트를 읽는지는 구현에 속합니다. 거꾸로 같은 숫자 주소도 다른 코드가 놓이면 다른 일을 합니다. 레이블 환경 ρ에서 L을 찾아 현재 상태에 적용하는 표현은 배치 주소에 기대지 않고 도착 이후의 일을 드러냅니다.

사회자 resultis를 만난 자리 뒤에 ‘장부 한 번 더 수정’이 있으면 몇 번을 셀까요?

답변 입력 3에서 첫 수정을 하고 곧바로 3을 넘기면 횟수는 1이고 바깥 값은 4입니다. 두 번째 수정까지 진행한 뒤 3+3을 넘기는 경로에서는 횟수 2와 값 6이 건너가므로 바깥 값은 8입니다. 두 호출 모두 바깥 계산은 계속됩니다. 끝나는 것은 그 valof 내부에서 아직 남았던 일입니다.

사회자 종이에 남은 일을 적어 실행해도 스택이 꼭 있어야 하나요?

답변 교사는 ‘저장하고 안내’라고 적은 쪽지를 들고, 다른 교사는 두 개의 상자에 같은 순서를 쌓을 수 있습니다. 두 구현을 비교할 때는 쪽지의 모양이 아니라 어떤 입력에 어떤 순서의 로그를 남기는지 봅니다. 중간에 L로 가면 쪽지와 스택 모두 정상 후속 일을 버리고 L에서 이어야 합니다. 이를 확인하는 테스트 한 건으로 모든 입력이 같다고 결론짓지는 않습니다.

사회자 반복 조건을 “남은 책 수가 0보다 크다”로 두면 몸체 뒤에는 무엇을 붙일까요?

답변 책이 두 권이면 한 권을 처리하고 조건을 다시 봅니다. 2→1→0을 지나 조건이 거짓이 되면 비로소 반복문 바깥의 k로 갑니다. 반복 몸체에 k만 직접 붙이면 한 번만 처리하고 끝나 버립니다. 반대로 참·거짓을 확인하지 않고 늘 몸체로 가면 0이 되어도 멈추지 못합니다.

사회자 화면이 너무 빨라 B를 못 본 것과 B를 아예 건너뛴 것은 어떻게 가르나요?

답변 B의 줄에서만 장부에 고유 표식을 넣게 합니다. 점프가 없는 경로는 1,2,3,4를 방문해 로그 [A,B,C]를 남깁니다. L로 가는 경로는 1,2,4만 방문해 [A,C]를 남깁니다. 만약 B와 C가 같은 글자를 출력하게 만들었다면 글자만 보고는 구별이 덜 분명합니다. 줄 번호와 기록을 함께 남겨 놓는 까닭입니다.

사회자 명령에 k를 붙이면 그 자체가 현대 언어의 CPS 변환 전체인가요?

답변 원전은 jump가 있는 작은 언어의 뜻을 수학적으로 정의합니다. 현대 변환을 설명하려면 원래 언어와 결과 언어, 호출 순서, 어떤 결과를 보존할지를 정해야 합니다. 예를 들어 A와 B가 순서대로 장부에 글자를 적는다면 변환 뒤에도 [A,B]가 남아야 합니다. 같은 k 표기를 쓴 사실 하나만으로 이 보존 성질이 증명되지는 않습니다.

사회자 신청 오류뿐 아니라 이미 빌린 장비의 반납까지 자동으로 처리될까요?

답변 오류 처리 카드에 무엇을 적었는지에 달렸습니다. ‘안내 C로 이동’이면 안내만 하고, ‘장비 반환 뒤 안내’이면 둘 다 합니다. 정상 후속 일 대신 오류 후속 일을 선택한다는 설명만으로 반환이 실행되지는 않습니다. 두 경로의 장부를 나란히 읽으면 제어 이동과 정리 정책이 별도라는 점이 분명해집니다.

사회자 버튼을 눌러 안내로 이동하는 것과 네트워크 응답을 기다리는 것은 무엇이 다를까요?

답변 현재 실습은 매 단계 다음 명령 하나를 고릅니다. 서로 다른 작업이 언제 실행될지, 외부 응답이 어느 순서로 도착할지는 모형에 들어 있지 않습니다. 그런 문제에는 사건 순서나 자원 소유권을 표현하는 규칙을 더해야 합니다. 점프를 정확히 설명할 수 있다는 사실 그대로가 동시성까지 풀었다는 근거가 되지는 않습니다.

사회자 처음 도서관으로 돌아가면 어떤 세 가지를 물어야 할까요?

답변 오류 직전 장부에는 A가 있습니다. 정상 후속 일에는 B 뒤 C가 있고, 목적지 L의 후속 일에는 C가 있습니다. 오류일 때 셋째 봉투를 고르면 최종 장부는 [A,C]입니다. 식 안에서 빠져나온다면 봉투에 값도 넣습니다. 이 네 줄을 말할 수 있으면 단순히 “goto는 이동이다”라고 외운 것보다 한 단계 더 설명한 셈입니다.