-1
: 우리는 전체 표현식 (기능, 응용 프로그램)의 교체, 또는 할 수 다만 변수 :람다 계산법 전체 표현식 치환 무료 차례 나오는의 대체 약
예 :
- 현재 표현 \ (y, z)
- 바꾸려는 식 : \ y (yz)와 p 따라서 \ xp
가능합니까?
A
답변
1
예, 가능합니다. 한 가지 방법은 발생의 대체를 고려하는 것입니다. 발생은 세트 {1,2,3} 이상의 문자열, 모든 람다 기간 M 위해 발생 u에서 서브 표현식 M/u는 다음과 같이 정의된다
M/[]=N/u=MM/0u,M=\x. N 경우 =
M/1u,M=PQ=Q/uM/2u,를 만약 있다면210
P/u
은 (I 빈 문자열을 표시하는 기호 []를 사용한다.)
지금 M에 N으로 발생 u 교체로부터 얻어지는 다른 용어로 대체 M[u := N]를 정의한다. 나는 P.-L의 일부에서 이런 종류의 치환을 보았다. Curien 작업.
자유로운 표현식이란 무엇입니까? –
변수로 여겨지는 표현에 대해 이야기하고있었습니다. 따라서 표현의 자유로운 출현은 표현식을 변수로 바꾸면 변수의 자유로운 출현과 동일한 것을 의미합니다. 그것은 내 질문 이었지만, 불가능하다고 생각합니다. 또한 나는 그것이 왜 나쁜 질문인지 보지 못한다. – yonutix
"변수의 자유 어커런스"에 대한 공식적인 정의가 여러 개 있습니다. "변수"를 "표현식"으로 적절하게 바꾸고 그 중 어떤 것이 의미가 있는지 확인하기 만하면됩니다. –