[HW8] 람다예보 질문

박종한 · 가입: 2021년 3월 16일 올린 글: 3

안녕하세요 프로그래밍언어 조교님,

숙제 8 의 문제 3 [람다예보] 에서 질문이 있습니다.

f lambda x.e 꼴로 재귀함수가 표현되었을 때 x 는 프로그램 변수이고 X_x 는 프로그램 변수가 가지게 될 함수식들의 집합을 의미합니다.

f 도 프로그램 변수라고 볼 수 있나요?
즉, X_f 도 의미가 있는 표현인가요?

감사합니다.

이도윤 · 가입: 2021년 3월 23일 올린 글: 11

안녕하세요,

빈 칸 채우기 형태가 포함된 간단한 문제라 질문에 완전히 답해드리기는 어렵습니다.

다만 X_f는 의미가 있는 표현입니다.

감사합니다.