[kernys]

(define rt (empty-ruletable))
(set! rt (add-rule (make-rule 's0 'one (cons 'write 'one) 'left 's0) rt))
(set! rt (add-rule (make-rule 's0 'plus (cons 'write 'one) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'one (cons 'write 'one) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'BLANK (cons 'write 'BLANK) 'right 's2) rt))
(set! rt (add-rule (make-rule 's2 'one (cons 'write 'BLANK) 'right 's3) rt))
(set! rt (add-rule (make-rule 's3 'one (cons 'write 'one) 'right 's3) rt))
(set! rt (add-rule (make-rule 's3 'BLANK (cons 'write 'BLANK) 'left 's4) rt))

(define tm (make-tm (list 'one 'one 'one 'plus 'one 'one) (list 's4) 's0 rt))
(run-tm tm)



(set! rt (empty-ruletable))
(set! rt (add-rule (make-rule 's0 'a (cons 'write 'a_1) 'left 's1) rt))
(set! rt (add-rule (make-rule 's0 'b (cons 'write 'b_1) 'left 's2) rt))
(set! rt (add-rule (make-rule 's1 'a (cons 'write 'a) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'b (cons 'write 'b) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'a_2 (cons 'write 'a_2) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'b_2 (cons 'write 'b_2) 'left 's1) rt))
(set! rt (add-rule (make-rule 's1 'BLANK (cons 'write 'a_2) 'right 's3) rt))
(set! rt (add-rule (make-rule 's2 'a (cons 'write 'a) 'left 's2) rt))
(set! rt (add-rule (make-rule 's2 'b (cons 'write 'b) 'left 's2) rt))
(set! rt (add-rule (make-rule 's2 'a_2 (cons 'write 'a_2) 'left 's2) rt))
(set! rt (add-rule (make-rule 's2 'b_2 (cons 'write 'b_2) 'left 's2) rt))
(set! rt (add-rule (make-rule 's2 'BLANK (cons 'write 'b_2) 'right 's3) rt))
(set! rt (add-rule (make-rule 's3 'a_2 (cons 'write 'a_2) 'right 's3) rt))
(set! rt (add-rule (make-rule 's3 'b_2 (cons 'write 'b_2) 'right 's3) rt))
(set! rt (add-rule (make-rule 's3 'a (cons 'write 'a ) 'right 's_noend) rt))
(set! rt (add-rule (make-rule 's3 'b (cons 'write 'b ) 'right 's_noend) rt))
(set! rt (add-rule (make-rule 's3 'a_1 (cons 'write 'a_1) 'left 's_semifinal) rt))
(set! rt (add-rule (make-rule 's3 'b_1 (cons 'write 'b_1) 'left 's_semifinal) rt))
(set! rt (add-rule (make-rule 's_noend 'a (cons 'write 'a ) 'right 's_noend) rt))
(set! rt (add-rule (make-rule 's_noend 'b (cons 'write 'b ) 'right 's_noend) rt))
(set! rt (add-rule (make-rule 's_noend 'a_1 (cons 'write 'a_1) 'left 's0) rt))
(set! rt (add-rule (make-rule 's_noend 'b_1 (cons 'write 'b_1) 'left 's0) rt))
(set! rt (add-rule (make-rule 's_semifinal 'a_2 (cons 'write 'a_2) 'left 's_semifinal) rt))
(set! rt (add-rule (make-rule 's_semifinal 'b_2 (cons 'write 'b_2) 'left 's_semifinal) rt))
(set! rt (add-rule (make-rule 's_semifinal 'BLANK (cons 'write 'BLANK) 'right 's_ff) rt))
(set! rt (add-rule (make-rule 's_ff 'a_2 (cons 'write 'a ) 'right 's_ff) rt))
(set! rt (add-rule (make-rule 's_ff 'a_1 (cons 'write 'a ) 'right 's_ff) rt))
(set! rt (add-rule (make-rule 's_ff 'b_2 (cons 'write 'b ) 'right 's_ff) rt))
(set! rt (add-rule (make-rule 's_ff 'b_1 (cons 'write 'b ) 'right 's_ff) rt))
(set! rt (add-rule (make-rule 's_ff 'BLANK (cons 'write 'BLANK) 'left 's_final) rt))

(define tm (make-tm (list 'b 'a 'a 'a 'a 'a 'b 'a 'b) (list 's_final) 's0 rt))
(run-tm tm)

-- RESULT
one one one one one
b a a a a a b a b b a a a a a b a b

마지막 꺼는 인풋을 약간 바꾸었습니다.. 저게 잘되면 다른 것도 잘 될거예요..

값 중심, 물건 중심 둘다 동일한 결과..

p.s) 김원배 입니다...
회원가입시 설정한 이름 어떻게 바꾸나요..

[김상우]

숙제에
"todo는 ’erase 거나 ’write와 symbol의 cons-쌍"
이라고 나와있는데
'write 'BLANK가 아닌 'erase가 되어야 하지 않을까요?

전 이렇게 돌렸습니다

(define a1 (make-rule 's0 'one (cons 'write 'one) 'left 's0))
(define a2 (make-rule 's0 'plus (cons 'write 'one) 'left 's1))
(define a3 (make-rule 's1 'one (cons 'write 'one) 'left 's1))
(define a4 (make-rule 's1 'BLANK 'erase 'right 's2))
(define a5 (make-rule 's2 'one 'erase 'right 's3))
(define a6 (make-rule 's3 'one (cons 'write 'one) 'right 's3))
(define a7 (make-rule 's3 'BLANK 'erase 'left 's4))

(define rt (add-rule a1 (add-rule a2 (add-rule a3 (add-rule a4 (add-rule a5 (add-rule a6 (add-rule a7 (empty-ruletable)))))))))

(define tm1 (make-tm (list 'one 'one 'one 'plus 'one 'one) (list 's4) 's0 rt))

(run-tm tm1)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define rt2 (list
(make-rule 's0 'a (cons 'write 'a_1) 'left 's1)
(make-rule 's0 'b (cons 'write 'b_1) 'left 's2)
(make-rule 's1 'a (cons 'write 'a) 'left 's1)
(make-rule 's1 'b (cons 'write 'b) 'left 's1)
(make-rule 's1 'a_2 (cons 'write 'a_2) 'left 's1)
(make-rule 's1 'b_2 (cons 'write 'b_2) 'left 's1)
(make-rule 's1 'BLANK (cons 'write 'a_2) 'right 's3)
(make-rule 's2 'a (cons 'write 'a) 'left 's2)
(make-rule 's2 'b (cons 'write 'b) 'left 's2)
(make-rule 's2 'a_2 (cons 'write 'a_2) 'left 's2)
(make-rule 's2 'b_2 (cons 'write 'b_2) 'left 's2)
(make-rule 's2 'BLANK (cons 'write 'b_2) 'right 's3)
(make-rule 's3 'a_2 (cons 'write 'a_2) 'right 's3)
(make-rule 's3 'b_2 (cons 'write 'b_2) 'right 's3)
(make-rule 's3 'a (cons 'write 'a) 'right 's_noend)
(make-rule 's3 'b (cons 'write 'b) 'right 's_noend)
(make-rule 's3 'a_1 (cons 'write 'a_1) 'left 's_semifinal)
(make-rule 's3 'b_1 (cons 'write 'b_1) 'left 's_semifinal)
(make-rule 's_noend 'a (cons 'write 'a) 'right 's_noend)
(make-rule 's_noend 'b (cons 'write 'b) 'right 's_noend)
(make-rule 's_noend 'a_1 (cons 'write 'a_1) 'left 's0)
(make-rule 's_noend 'b_1 (cons 'write 'b_1) 'left 's0)
(make-rule 's_semifinal 'a_2 (cons 'write 'a_2) 'left 's_semifinal)
(make-rule 's_semifinal 'b_2 (cons 'write 'b_2) 'left 's_semifinal)
(make-rule 's_semifinal 'BLANK 'erase 'right 's_ff)
(make-rule 's_ff 'a_2 (cons 'write 'a) 'right 's_ff)
(make-rule 's_ff 'a_1 (cons 'write 'a) 'right 's_ff)
(make-rule 's_ff 'b_2 (cons 'write 'b) 'right 's_ff)
(make-rule 's_ff 'b_1 (cons 'write 'b) 'right 's_ff)
(make-rule 's_ff 'BLANK 'erase 'left 's_final)
))

;이 ruletable 부분은 원래 add-rule로 일일이 다 더해줘야합니다.
;그 작업이 너무 힘든 관계로 리스트형태로 받게해서 테스트했습니다
;실제로 학우님들이 테스트하실땐 add-rule로 해주세요!!
;조언해주신 이상호학우님 감사합니다!^^

(define tm1 (make-tm (list 'a 'b 'a) (list 's_final) 's0 rt2))

(run-tm tm1)

[kernys]

정정 감사합니다, 김상우 학우님.

[권민혁]

누군가 이렇게 해주실줄 알았습니다.^^

감사합니다.

김원배, 김상우 학우님들. (아 그리고 상호도)

[현.철]

empty-ruletable은 함수가 아니어야 할 것 같습니다.
(empty-ruletable) 가 아니라 empty-ruletable로 쓰여야 하지 않을까요?

[김상우]

작동규칙표를 만들고 사용하는 함수들:
empty-ruletable : ruletable

이렇게 되있네요

[이영석]

제대로 돌아가니 다행이군요.

사실 손으로 짠거라 제대로 안돌아갈지 걱정이었는데 ㅎ

[현.철]

함수라면
void -> ruletable아닌가요?

[방정호]

첫번째 테스트 셋 결과가
[ one one one one one ]
이어야 되는 것 같아요.

앞 뒤에 넣어놓는 BLANK 를 제외한다면,
결과 데이터는 one one one one one BLANK 가 되어야 할 것 같습니다.


원래 테이프에서
one one one 까지 s0 상태였다가
plus 를 만나면 s1 상태가 되고,
여기까지 테이프에는 계속 one 을 쓰고요.

s1 상태에서 blank를 만나면(오늘쪽 맨 끝까지 가면) 방향을 반대로 가고
그 상태에서 one을 만나면 (방향 바꾸자마자 처음) BLANK 로 바꿉니다.
그 다음부터는 반대쪽 끝까지 쭉 가서 끝나네요.

그러면
one one one one one BLANK
여야 될 것 같은데,
맞는걸까요?

[이태영]

방정호님 말씀이 맞는 것 같아요. 처음에 쭉 훑고 가면서 plus를 one으로 바꿔서 one이 여섯개였다가. 맨 끝 BLANK를 만나면 맨 오른쪽 one을 지우니까 그 자리가 BLANK가 되겠네요

[이상선]

empty-ruletable의 경우에
제 생각에도 현.철님 말씀처럼 함수가 아니라 그냥 정의가 되어야할 것 같습니다.

이전 숙제에서

black : 무늬
white : 무늬

위 두개를 함수로 하지않고 단순히 정의만 했으니까요

[kkhseed]

[kernys]

아 그렇네요... write 'BLANK 명령을 왜 무시했었는지...

one one one one one 이네요..

[이승중]

함수들 목록에 나와있지만 타입이 함수가 아니네요

하지만 물건중심으로 프로그래밍 하려면 함수로 하는게 좋을 것 같습니다.

empty-ruletable: void -> ruletable 로 고쳐주세요

[유.강민]

저도 테스트셋 하나 위키에 있는 예제 따라 만들어봤습니다. 테이프에 있는 1들을 좌우 대칭으로 복사하는 함수입니다. 문제있으면 지적 해주세요.