상태를 드러내고 제어를 조립하고 그래프와 호출 경계를 보존하세요.

정답 run은 산술 규칙 자체를 담고 있지 않습니다. b가 0인지 묻고 그렇지 않으면 step을 반복하므로 전이 규칙과 컨트롤러가 분리된 채 유지됩니다.

정답 0번 명령은 b를 검사해 나머지 사이클로 들어가거나 pc 5의 halt로 이동합니다. 다른 명령들은 temp를 통해 값을 옮긴 뒤 검사로 제어를 되돌립니다.

정답 return 동안 각 전이는 저장된 곱할 값 하나를 pop하고 value를 갱신합니다. 빈 스택은 미뤄 둔 곱셈이 더는 남아 있지 않음을 뜻하므로 value가 최종 답이 됩니다.

정답 execute는 상수를 push합니다. 산술 명령은 오른쪽 값과 왼쪽 값을 pop하고 둘을 결합하여 결과를 push합니다. 남은 코드가 없으면 스택 맨 위의 값이 프로그램 값입니다.

정답 감싸진 첫 번째 명령열은 이제 레지스터를 저장하기 위해 그 레지스터를 필요로 하며, restore 이후에는 해당 레지스터가 수정되었다고 더 이상 드러내지 않습니다. 충돌의 어느 한쪽 조건이라도 없으면 합성은 스택 명령을 전혀 내보내지 않습니다.

정답 find-address는 변수 이름을 담고 있는 컴파일러 환경 프레임을 대상으로 이름 검색을 수행합니다. x에 대해 (1 0)을 만들고 나면 런타임은 그 주소를 써서 일치하는 값 프레임에서 42를 가져올 수 있습니다. 이 예제는 컴파일러와 기계가 프레임 배치 하나에 합의하게 만듭니다.

정답 두 번째 힙은 a에서 b와 c를 거쳐 다시 a로 돌아오는 순환을 포함합니다. contains?는 재방문을 멈추고 mark-roots는 x에서 두 번째 순회를 시작합니다. 그런 다음 unreachable은 모든 할당을 훑어 표시 집합 밖의 dead만 분류합니다. 이 수업은 루트 집합을 기준으로 객체의 도달 가능성을 추적하고 분류하는 과정을 모델링합니다.

정답 assemble은 레이블 기호를 건너뛰고 resolve에 요청해 branch와 goto 대상만 바꿉니다. 일반 명령은 바뀌지 않고 유지됩니다. 반환된 수열은 숫자 대상을 갖는 조립된 컨트롤러 데이터이며, 다음 컨트롤러 실행 단계의 입력으로 전달됩니다.

정답 첫 번째 프로그램은 n이 2인 상태에서 전체 컨트롤러를 실행하여 product를 2로 남깁니다. 두 번째 프로그램은 n이 1인 상태에서 시작하여 halt가 아닌 모든 명령 뒤에 pc, n, product, flag를 기록합니다. 두 실행 모두 40단계 보호 장치를 둡니다. 명령 실행기는 해결된 컨트롤러 벡터 위에서 assign, test, branch, goto, halt를 처리합니다.

정답 n이 1일 때 분기는 기본 대입으로 바로 건너뛰어 스택 사용 없이 다섯 개의 명령을 가져온 뒤 halt에 도달합니다. n이 3일 때 컨트롤러는 두 재귀 수준에서 continue와 n을 저장하므로, 네 번의 push를 수행하고 깊이 4에 도달하며 27개의 명령을 가져온 뒤 값 6과 빈 스택으로 정지합니다. 이 수치들은 정확히 이 컨트롤러와 입력값과 계측 규약을 설명하며, 실행기가 가져온 명령 수와 스택 사용량을 명시적인 측정 데이터로 보고합니다.

정답 두 번째 컨트롤러는 double-then-add-one 서브루틴을 부르고 그 서브루틴이 다시 double을 부릅니다. 안쪽 호출도 continue를 써야 하므로 바깥 서브루틴은 원래 호출자의 값을 먼저 저장합니다. double이 돌아오면 restore로 원래 주소를 복원하고 add1을 끝낸 뒤 main으로 복귀합니다. 이 유한 실행기는 수업에 나온 명시적 연결과 스택 한 칸을 모델링합니다.

정답 수열 평가는 ev-sequence-last-exp가 마지막 식을 eval-dispatch로 보내기 전에 호출자의 continuation을 복원하므로 꼬리 재귀입니다. 따라서 두 sum-iter 실행은 재귀 호출 수가 달라도 측정한 평가기 최대 스택 깊이가 같습니다. 별도의 컨트롤러 경로는 if와 set!과 define 주변의 식과 환경과 continuation을 저장하고 복원합니다. 마지막 guest 프로그램은 재귀와 어휘 클로저 상태와 변경을 함께 실행하고 빈 스택으로 멈춥니다. 이 관찰은 유한 시뮬레이터와 선택한 컨트롤러의 정확한 상태 변화를 기록합니다.

정답 apply-any가 인터페이스입니다. 평가기의 적용은 연산자와 피연산자를 평가한 뒤 이 경계에 도달합니다. 컴파일된 call 명령은 VM 스택에서 프로시저와 인자를 꺼낸 뒤 같은 경계에 도달합니다. 평가기에서 컴파일 코드로 가는 실행은 (compiled primitive)을 기록합니다. add-three가 컴파일 코드로 들어간 뒤 덧셈이 원시 프로시저를 호출하기 때문입니다. 컴파일 코드에서 평가기로 가는 실행은 (interpreted primitive)을 기록합니다. 컴파일 코드가 double을 호출한 뒤 해석 본문이 원시 곱셈을 사용하기 때문입니다. 수업 모형은 두 방향의 정확한 교차 호출 계약을 기록합니다.

정답 evaluate-source는 const와 reg와 label과 op에 하나씩 의미를 줍니다. execute-one!은 조립된 명령 하나를 가져와 태그에 맞는 규칙을 적용합니다. 유클리드 컨트롤러는 대입과 검사와 분기와 레이블 이동과 perform을 사용하고, 서브루틴 컨트롤러는 continuation을 저장·복원한 뒤 레지스터에 든 주소로 돌아갑니다. 수업용 레지스터 기계 시뮬레이터는 지정된 명령어 집합을 명시적인 기계 상태 위에서 실행합니다.

정답 두 번째 프로그램은 같은 카운터 컨트롤러에 레지스터 bank 두 개를 줍니다. 한 bank는 가변 연관 레코드를 쓰고 다른 bank는 이름-인덱스 표 뒤의 벡터를 씁니다. 컨트롤러는 read와 write 메시지만 보냅니다. 같은 유한 관찰은 이 클라이언트 계약이 저장 방식 변경을 견딘다는 사실을 보여 줍니다.

정답 예제 컨트롤러는 이 참고표를 실제 실행과 맞춥니다. 상수와 연산 결과를 대입하고 val을 저장·복원하며 레이블 위치를 continue에 넣고 간접 이동한 뒤 test와 branch와 perform과 halt를 거칩니다. 이 요약은 유한 시뮬레이터 서브셋의 정확한 참고표입니다.

정답 첫 프로그램은 참 분기가 건너뛴 대입도 실행 프로시저를 가진다는 점을 보여 줍니다. 조립은 한 실행 경로가 아니라 컨트롤러 전체를 처리하기 때문입니다. factorial 프로그램은 클로저 여섯 개를 한 번 만들고 가변 레지스터와 계수기는 따로 가진 두 기계 인스턴스에 재사용합니다.

정답 공유 예제는 꼬리 하나를 할당한 뒤 서로 다른 바깥 셀 두 개의 cdr에 같은 포인터를 저장합니다. 그 포인터의 car 슬롯 하나를 바꾸면 두 목록의 관찰이 함께 바뀝니다. 고정 벡터 용량과 계속 증가하는 free 포인터는 수집기가 살아 있는 셀을 다시 배치하기 전까지 명시적인 한계로 남습니다.

정답 첫 힙에는 셀 다섯 개가 있지만 root 두 개에서 닿는 셀은 세 개뿐입니다. 복사된 left와 right는 복사된 shared 꼬리 하나를 가리키고 쓰레기 셀 두 개의 forwarding 항목은 #f로 남습니다. 두 번째 힙의 자기 순환은 cdr 복사가 옛 포인터를 다시 만났을 때 이미 기록된 새 포인터를 즉시 재사용합니다.

정답 명령열은 statements와 함께 보수적인 needs·modifies 집합을 가집니다. append-sequences는 순서를 유지하며 이 계약을 합칩니다. 조건식 예제는 재귀적으로 컴파일한 술어와 두 갈래 주위에 레이블과 linkage를 놓습니다. lambda 컴파일러는 본문을 재귀 컴파일해 그 명령 데이터를 표현된 compiled procedure에 저장합니다.

정답 compile-expression이 소스 형식을 분류한 뒤 run-code는 컴파일 명령 태그를 디스패치합니다. compiled procedure는 생성 때 포획한 어휘 환경을 새 호출 프레임으로 확장하고 빈 피연산자 스택에서 본문 코드를 실행합니다. 수업용 VM은 나열된 명령 집합으로 전역 정의와 포획한 지역 대입과 인용과 분기와 클로저와 원시 적용을 실행합니다.

정답 두 번째 프로그램에서는 평가기가 compiled add-three를 호출하고 compiled 코드가 interpreted double을 호출합니다. 두 경로 모두 정렬된 인자 목록을 apply-any에 넘기며 dispatch-log는 실제 primitive·interpreted·compiled 태그를 남깁니다. 이 실행은 수업에서 사용하는 호출 규약을 기록합니다.

정답 계측 실행은 n = 5와 done을 가리키는 continue로 시작합니다. n = 0을 포함해 entry 여섯 번이 관찰되고, 미완료 호출 다섯 개가 값 두 개씩 보존하므로 최대 스택 깊이는 10입니다. halt 전에 열 값이 모두 복원됩니다. 가져온 66개 명령과 정확한 컨트롤러 목록은 이 유한 컴파일 프로시저를 측정합니다.