[정태호]

문제에서 주어진 metro 타입의 정의만 가지고 metro의 의미를 파악하기에 좀 무리가 있는 것 같습니다.

당장 checkMetro 함수가 metro를 판단하는 방식을 파악하기보다도

여러가지 metro 들이 가지고 있는 의미에 대한 설명이 좀 더 필요해보입니다.
문제에서 예로 들었던-

제대로 생긴 metro들은:
AREA("a", STATION "a") :
AREA("a", AREA("a", STATION "a"))
AREA("a", AREA("b", CONNECT(STATION "a", STATION "b")))
AREA("a", CONNECT(STATION "a", AREA("b", STATION "a")))

그렇지 못한 것들의 예들은 :
AREA("a", STATION "b")
AREA("a", CONNECT(STATION "a", AREA("b", STATION "c")))
AREA("a", AREA("b", CONNECT(STATION "a", STATION "c")))

와 같은 7가지의 metro들이 각각 어떤 의미를 가지고 있는 것인지 명확히 정의해주셨으면 합니다.

문제에서 "metro가 제대로 생겼다"는 것의 정의로 메트로 역의 이름들이 항상
자기 이름의 지역에서만 나타나는 경우라고 했는데, 그렇다면 위에서 제시된 metro들에는 1)판단할 메트로 역의 이름 2)지역의 이름(?) 두 가지가 필수로 존재해야 합니다.

그렇다면 위의 첫 번째 예에서 AREA("a", STATION "a")라면 처음 나온 "a"가 지역의 이름이고 뒤에 나온 "a"가 메트로 역의 이름인가요?
그렇다면 다음의 예로 나온 AREA("a", AREA("a", STATION "a"))에서는 AREA의 두 번째 인수인 AREA("a", STATION "a")가 메트로 역의 이름이 되어야 한다는건가요? 그러면 AREA 자체가 메트로 역의 이름이라는 소리인가요(???)

그리고 metro의 마지막 정의 CONNECT의 의미 또한 불명확해보입니다. CONNECT(STATION "a", AREA("b", STATION "a"))가 metro인데, 이 metro의 의미는 또 무엇인지 모르겠습니다.

마지막으로 checkMetro 함수의 인수 metro에는 AREA외에도 STATION과 CONNECT도 들어갈 수 있을텐데, 그럴 경우 어떻게 처리를 해줘야 하는지 궁금합니다.

예를들어 checkMetro (CONNECT(STATION "a", STATION "b"))라든지, checkMetro (STATION "a")와 같이 호출하면 어떤 결과가 나와야하는지요?



질문을 쓰다보니 글이 너무 길어진 것 같습니다. 답변을 부탁드립니다ㅜㅜ

[정태호]

아 그리고 OCaml 튜토리얼 시간이 정기적으로 정해졌었던것 같은데 언제였나요? ㅜㅜ

[강동옥]

숙제 문서에 나타난