[정석원]

문제 pdf에 예시로 나온 항목 중에서
AREA("a", CONNECT(STATION "a", AREA("b", STATION "a")))

위 예시를 하위부터 가져오면
AREA("b", STATION "a") -> 확실히 제대로 생기지 않은 metro
CONNECT(STATION "a", AREA("b", STATION "a"))) -> 다른 질문에서 connect는
제대로 생긴 metro * 제대로 생긴 metro 여야 한다고 하셨으므로 이것도 제대로 생기지 않은 metro

이렇게 둘다 제대로 생기지 않은 것이 되는데 여기다 AREA ("a" , ~) 를 추가해서
AREA("a", CONNECT(STATION "a", AREA("b", STATION "a"))) 로 만들었더니 제대로 생긴 모양으로 되었습니다.

내부에 제대로 생기지 않은 metro 가 남아 있어도 전체적으로는 제대로 생긴 metro가 될 수 있는건가요?

[신원준]

질문자분께서 작성하신 예시를 제가 이해한 게 맞다면

CONNECT(STATION "a", AREA("b", STATION "a")) 이라는 표현 전체가

AREA ("a" , ~) 안에 들어있기 때문에 CONNECT(~) 안에 언급된 STATION "a"라는 표현은 모두 제대로 된 표현입니다.

바깥의 scope (여기선 AREA ("a" , ~) ) 를 고려하지 않고 안에 있는 것만 봤을 때 제대로 생기지 않았다고 하는 것은 의미가 없습니다.

[로파스]

신원준 수강생님께서 정확히 답변해주셨습니다.

감사합니다.

-조교 드림.