장민석
가입: 2006년 9월 5일 올린 글: 165
|
올려짐: 2006년11월17일 22:30 주제: 보물섬 조금 복잡한 예제 |
|
|
저는 [x]e1 해석 중 "e1 안에서 만날 보물상자 x의.."를 "e1 안에 반드시 보물상자 x가 있다"로 해석하였습니다. 때문에 조교님이 올려주신 예제중 마지막 것은 invalid한 map이 되지요.
그래서 주어진 예제를 조작해서 약간 복잡한 예를 하나 만들어봤습니다. 여러 개를 올리려고 했습니다만, 예제 만드는 것도 일이군요..
코드: | # getReady(Branch(Guide("x",Branch(Guide("y",Branch(End(Name "y"),End(
Name "x") ) ),End(Name "z"))),Branch(End(Name "z"),End(Name "w"))));;
# val it: key list = [Node (Bar, Bar), Bar] |
|
|