beta-reduce
숙어C2formal람다식에서 함수 적용을 실제 치환으로 단순화하다
phrase
- 1
람다 계산법에서 함수 적용식의 매개변수를 실제 인수로 치환하여 식을 단순화하다.C2
In lambda calculus, to reduce a function application by substituting the argument for the function’s bound variable.
We can beta-reduce (λx. x + 1) 4 to 4 + 1.
(λx. x + 1) 4는 베타 축약하여 4 + 1로 만들 수 있다.
The interpreter beta-reduces the expression before checking whether it has a normal form.
인터프리터는 그 식에 정규형이 있는지 확인하기 전에 식을 베타 축약한다.
뉘앙스 · 쓰임
“simplify”는 일반적으로 ‘단순화하다’라는 넓은 뜻이고, “evaluate”는 식의 값을 계산한다는 뜻입니다. “beta-reduce”는 특히 람다식에서 함수 적용을 변수 치환으로 줄이는 정확한 연산을 가리킵니다. 반대로 “beta-expand”는 더 긴 람다식 형태로 되돌리거나 확장하는 것을 말합니다.
주로 하이픈을 넣어 “beta-reduce”라고 쓰며, 명사형은 “beta reduction”입니다. 전문 용어이므로 일반 대화에서 쓰면 의미가 잘 통하지 않을 수 있습니다. 그리스 문자 β를 써서 “β-reduce”, “β-reduction”으로 표기하기도 합니다.
유의어 뉘앙스 비교
- perform beta reduction
- 더 풀어서 말하는 표현으로, 논문이나 설명문에서 명확하게 들립니다.
- reduce by substitution
- 기술적으로 덜 고정된 표현이며, 치환을 통한 축약이라는 과정을 설명하는 말입니다.
- simplify
- 의미가 훨씬 넓어 람다 계산의 베타 축약만을 가리키지는 않습니다.
반의어
- beta-expand
- 베타 축약의 반대 방향으로, 식을 더 긴 람다식 형태로 확장한다는 뜻입니다.
- expand
- 일반적으로 ‘펼치다, 확장하다’라는 뜻으로, 반드시 람다 계산의 베타 확장을 의미하지는 않습니다.
어원 · 암기 팁
[English, from Greek beta]‘beta’는 그리스 문자 β의 영어 이름으로, 람다 계산법에서 함수 적용을 치환으로 줄이는 규칙인 ‘β-reduction’에서 온 말입니다. ‘reduce’는 수학·논리학에서 식을 더 단순한 형태로 변형한다는 뜻으로 쓰입니다.
💡 β-reduction은 ‘함수에 값을 넣어 줄이는 과정’이라고 기억하면 좋습니다. 예를 들어 (λx. x) a에서 x 자리에 a를 넣으면 a가 되므로, ‘beta = 변수 자리에 인수 넣기’로 연결해 외울 수 있습니다.