[나병국]

안녕하세요

읽어보던 중 문자열이라는 단어가 모호해서 질문합니다.

1. tape에서의 symbol은 'a 'b와 같은 symbol인가요?

2. rule에서의 symbol(string)은 string이라고 명시되어 있는데 "a" "b"와 같은 것인가요?
그러먼 1번질문과 다른 symbol로 이해하면 되나요?
또한 그렇다면 tm에서도 state는 string으로 이해하면 될까요?

[최민아]

1. symbol은 'a와 같은 scheme symbol입니다.

2. state 역시 'a 등의 scheme symbol입니다.
tm에서도 symbol입니다.

정정하겠습니다. 예년에는 state가 symbol이었으나, 이번 숙제에는 문자열(string)이라고 표기되어 있는 관계로 state는 scheme string으로 하겠습니다. 혼란을 드려 죄송합니다.

[조동철]

튜링머신에 대한 공지글의 답글에는

state는 string이라고 되어 있습니다.

state가 string인지 shceme symbol인지 알고 싶습니다.

더붙여, scheme에서

[최민아]

예년에는 state를 symbol로 하였으나, 올해 숙제 문서에는 string이라고 명시되어 있으므로 string으로 수정하였습니다. 죄송합니다.

Lisp 계열 언어에서 '...는 ...를 있는 그대로 리턴합니다.

즉 'a는 a를 리턴하며,

'1은 정수 1을 리턴합니다.

symbol은 a처럼 identifier가 될 수 있는 문자열을 말합니다.

따라서 (symbol? '1)는 #f, (integer? '1)은 #t입니다.