[서석준]

글로 풀어진 문장이 무슨 말인지 잘 모르겠습니다.

connect는 단순히 연결을 의미하는 건가요?

. “metro가 제
대로 생겼다”는 것은(iff) 메트로 역 이름(id in STATION(id))들이 항상 자기 이
름의 지역(m in AREA(id, m)) 에서만 나타나는 경우를 뜻한다

라고 되어잇는데 그러면 역 이름들이 다른 이름 지역에서 나타나도 안되는 것인가요?

만약 그렇다면
AREA("a", CONNECT(STATION "a", AREA("b", STATION "a")))
는 올바르지 않은 예시인것 같습니다.[/i]

[최민아]

connect는 단순한 연결입니다. connect가 무슨 의미인지 너무 생각하지 않으셔도 됩니다.
8번 문제는 프로그래밍 언어에 비유해 생각하면 이해하기 쉽습니다.

metro를 프로그램에 비유할 수 있고
AREA of name * metro은
let name = .. in
metro라고 생각할 수 있습니다.
connect는 단순히 ;로 두 프로그램을 연결한 것으로 생각할 수 있습니다.

AREA("a", CONNECT(STATION "a", AREA("b", STATION "a")))
는
let a = .. in
a;
let b = .. in
a
와 같다고 볼 수 있습니다.

AREA("b", STATION "a")의 "a"는 "b"의 AREA에 들어있기도 하지만 더 넓게 보면 AREA ("a",..) 안에 들어 있습니다.