| 单词 |
church-rosser theorem |
| 释义 |
Church-Rosser Theorem Church-Rosser theorem[¦chərch ¦rȯs·ər ¦thir·əm] (mathematics) If for a lambda expression there is a terminating reduction sequence yielding a reduced form B, then the leftmost reduction sequence will yield a reduced form that is equivalent to B up to renaming. Church-Rosser Theorem (theory)A property of a reduction system that states thatif an expression can be reduced by zero or more reductionsteps to either expression M or expression N then there existssome other expression to which both M and N can be reduced.This implies that there is a unique normal form for anyexpression since M and N cannot be different normal formsbecause the theorem says they can be reduced to some otherexpression and normal forms are irreducible by definition. Itdoes not imply that a normal form is reachable, only that ifreduction terminates it will reach a unique normal form. |
| 随便看 |
- gather something round
- gather something together
- gather something up
- gathers round
- gathers together
- golgi autoantigen, golgin subfamily a, 5
- golgi autoantigen, golgin subfamily a, 6
- golgi autoantigen, golgin subfamily a, 6a
- golgi autoantigen, golgin subfamily a, 6b
- golgi autoantigen, golgin subfamily a, 6c
- golgi autoantigen, golgin subfamily a, 6d
- golgi autoantigen, golgin subfamily a, 6-like 1
- golgi autoantigen, golgin subfamily a, 6-like 2
- golgi autoantigen, golgin subfamily a, 6-like 3
- golgi autoantigen, golgin subfamily a, 6-like 4
- golgi autoantigen, golgin subfamily a, 6-like 5
- golgi autoantigen, golgin subfamily a, 6-like 6
- golgi autoantigen, golgin subfamily a, 6-like 7
- golgi autoantigen, golgin subfamily a, member 6
- golgi bodies
- golgi body
- golgibody
- golgi camillo
- golgi, camillo
- golgi cell
|