10. 12.3 문제 일반화, 함수 일반화
• 목표 : 임의의 다각형을 그리기
posn 리스트의 정규표현식
posn 리스트 ( list-of-posn ) 는 다음 두 가지 중 하나.
1. empty
2. ( cons p lop ) ; p는 posn 구조체, lop 는 posn 리스트
11. 12.3 문제 일반화, 함수 일반화
다각형 ( polygon ) 의 정규표현식
다각형 ( polygon ) 는 다음 두 가지 중 하나.
1. ( cons p empty ) ; p는 posn
2. ( cons p lop ) ; p는 posn 구조체, lop 는 posn 리스트
20. 13. 리스트 축약
• ( list ‘a ‘b ‘c )
• = ‘( a b c )
• first, rest 동일하게 사용
21. 14. 자기 참조 데이터 정의 더 보기
• 자기 참조 데이터
; 자기 구조체를
속성으로 갖는 구조체 (와 같은 것들)
22. 14. 자기 참조 데이터 정의 더 보기
• 자기 참조 데이터
; 자기 구조체를
속성으로 갖는 구조체 (와 같은 것들)
예)
( define-struct child
( father mother name date eyes ) )
23. 14. 자기 참조 데이터 정의 더 보기
( define-struct child
( father mother name date eyes ) )
자식항목(child) 은 구조체다.
(make-child f m na da ec)
f와 m은 child 구조체이고, na(이름)와 ec(눈색깔)는 기호이며
da(생일)는 숫자다.
24. 14. 자기 참조 데이터 정의 더 보기
자식항목(child) 은 구조체다.
(make-child f m na da ec)
f와 m은 child 구조체이고, na(이름)와 ec(눈색깔)는 기호이며
da(생일)는 숫자다.
25. 14. 자기 참조 데이터 정의 더 보기
자식항목(child) 은 구조체다.
(make-child f m na da ec)
f와 m은 child 구조체이고, na(이름)와 ec(눈색깔)는 기호이며
da(생일)는 숫자다.
26. 14. 자기 참조 데이터 정의 더 보기
자식항목(child) 은 구조체다.
(make-child f m na da ec)
f와 m은 child 구조체이고, na(이름)와 ec(눈색깔)는 기호이며
da(생일)는 숫자다.
28. 14. 자기 참조 데이터 정의 더 보기
자식항목(child)는 (make-child f m na da ec) 이고 각 필드는,
1. f와 m은 (a) empty 이거나 (b) child 이다.
2. na 와 ec 는 기호다.
3. da 는 숫자다.
가계도 항목 family-tree-node (ftn) 는 다음 두 가지 중 하나다.
1. empty
2. (make-child f m na da ec) :
f , m - ftn , na(이름) ec(눈 색깔) - 기호, da(생일) - 숫자
29. 14. 자기 참조 데이터 정의 더 보기
자식항목(child)는 (make-child f m na da ec) 이고 각 필드는,
1. f와 m은 (a) empty 이거나 (b) child 이다.
2. na 와 ec 는 기호다.
3. da 는 숫자다.
가계도 항목 family-tree-node (ftn) 는 다음 두 가지 중 하나다.
1. empty
2. (make-child f m na da ec) :
f , m - ftn , na(이름) ec(눈 색깔) - 기호, da(생일) - 숫자
30. 14. 자기 참조 데이터 정의 더 보기
자식항목(child)는 (make-child f m na da ec) 이고 각 필드는,
1. f와 m은 (a) empty 이거나 (b) child 이다.
2. na 와 ec 는 기호다.
3. da 는 숫자다.
가계도 항목 family-tree-node (ftn) 는 다음 두 가지 중 하나다.
1. empty
2. (make-child f m na da ec) :
f , m - ftn , na(이름) ec(눈 색깔) - 기호, da(생일) - 숫자
31. 14. 자기 참조 데이터 정의 더 보기
자식항목(child)는 (make-child f m na da ec) 이고 각 필드는,
1. f와 m은 (a) empty 이거나 (b) child 이다.
2. na 와 ec 는 기호다.
3. da 는 숫자다.
가계도 항목 family-tree-node (ftn) 는 다음 두 가지 중 하나다.
1. empty
2. (make-child f m na da ec) :
f , m - ftn , na(이름) ec(눈 색깔) - 기호, da(생일) - 숫자
35. 14.2 이진 검색 트리 (BST)
노드 정의
BT 정의
이진 트리 (BT) 는 다음 두 가지 중 하나다.
1. false
2. ( make-node soc pn lft rgt ) :
soc(주민번호) - 수 , pn(이름) - 기호, lft rgt – 이진 트리
37. 14.2 이진 검색 트리 (BST)
BST 정의 - 이진 검색 트리 불변항
이진 트리 (BT) 는 이진 트리이며, 다음 두 가지 중 하나다.
1. false 는 항상 이진 검색 트리이다.
2. ( make-node soc pn lft rgt )는 다음 조건을 만족할 시 이진트리임.
(a) lft 와 rgt 는 이진 검색 트리이다.
(b) lft 내 모든 soc 값은 soc 보다 작다.
(c) rgt 내 모든 soc 값은 soc 보다 크다.