조동철
가입: 2011년 9월 6일
올린 글: 35
|
 올려짐: 2012년10월13일 16:53 주제: 5-3 질문입니다. |
 |
|
1. 테입에 기록되는 symbol 문자열이라고 되어 있습니다. 동시에 출력에 관한 공지를 보면, symbol이 적혀있지 않은 곳은 'BLANK로 처리해라고 되어 있습니다. 그러면, tape타입에 들어가는 symbol을 string 혹은 'BLANK라고 생각하면 되는건가요?
2. 처음에 테입을 만들때, 넣는 symbol list에 'BLANK가 포함되도 되나요?
3. match-rule함수는 todo * move * state 타입을 리턴합니다. 3가지 타입의 페어를 어떻게 표현하는게 좋을지 모르겠습니다. | 인용: | | (cons todo (cons move state)) |
로 리턴하면 될까요?
4. match-rule함수는 입력된 state * symbol로 ruletable을 검색해서 해당되는 룰을 찾아주는 함수인데, state * symbol에 해당하는 룰이 ruletable에 존재하지 않을 경우는 어떻게 처리하는 것이 좋을까요? 존재하지 않는 경우 error처리를 하게 되면, step-tm에서 match-rule함수를 활용할 방법이 없는 것 같아, 존재하지 않는 경우, #f를 리턴하는 함수로 만들어 봤는데, 이렇게 해도 괜찮을까요?
5. add-rule 에서 ruletable에 이미 동일한 rule (state * symbol 이 같은) 이 존재하는 경우는 어떻게 해야 하나요?
6. step-tm에서 현재 튜링기계의 상황에서 실행가능한 룰이 ruletable에 없는 경우, 어떻게 처리해야 하나요? #f리턴으로 구현하니 run-tm구현에 편하긴 한데, 이렇게 해도 괜찮을까요? |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
