Beta denkliği nedir?


21

Şu anda lambda hesabı üzerinde okuduğum senaryoda beta eşdeğerliği şu şekilde tanımlanıyor:

β -denklik β içeren en küçük denklik olduğunu β .

Bunun ne anlama geldiği hakkında hiçbir fikrim yok. Birisi daha basit bir şekilde açıklayabilir mi? Belki bir örnekle?

Kilise-Russer teoreminden sonra bir lemmaya ihtiyacım var,

ββββ


Üzgünüz, dil mükemmel değilse, alıntıları Almanca'dan çevirdim.
magnattik

Yanıtlar:


20

terimler arasında tek-aşamalı bir ilişkidir λ -calculus. Bu ilişki ne refleksif, simetrik ne de geçişlidir. Eşdeğerlik ilişkisiβ ,the'nın dönüşlü, simetrik, geçişli kapanmasıdır. Bu şu anlama gelirβλββ

  1. Eğer ardından M β M ' .MβM'MβM'
  2. Tüm terimler için , M β M tutar.MMβM
  3. Eğer , daha sonra E ' β M .MβM'M'βM
  4. Eğer ve M ' β M " , daha sonra M β M " .MβM'M'βM"MβM"
  5. koşulları 1-4 tatmin küçük ilişkidir.β

Daha yapıcı olarak, önce kural 1 ve 2'yi uygulayın, ardından ilişkiye hiçbir yeni öğe eklenene kadar kural ve 4'ü tekrarlayın .34


1
Tamam teşekkürler, sanırım anladım. İlk varsayım olduğunu M nasılsa N indirgenebilir, ancak aynı dönemde indirgenebilir eğer onlar da besbelli eşdeğerdir çünkü o mutlaka beklemeye gerek olmadığını vasıtası. 3. noktanızdan ötürü bu inşa edilebilir sanırım. Teşekkürler, bu çok yardımcı oldu. MβN-
magnattik

İlişki sonsuz büyüklükte değil mi? Bir Dönem M için her zaman değil Dönem L bulmak mümkün miyim böylece ? LβM
magnattik

Öyle, ama bu sorunlu olmamalı. Neden böyle bir arıyorsun? L
Dave Clarke

Bilmiyorum. Her zaman sonsuz büyüklükte olursa, eşimle tartışıyordum. Açıkladığınız için teşekkürler. :)
magnattik

11

Gerçekten temel set kuramıdır. Dönüşlü ilişkinin, simetrik ilişkinin ve geçişli ilişkinin ne olduğunu biliyorsunuz, değil mi? Eşdeğerlik ilişkisi, bu özelliklerin üçünü de karşılayan ilişkidir.

Muhtemelen bir ilişki içinde "Geçişli kapatılması" duymuş ? Şey, R'yi içeren en az geçişli ilişkiden başka bir şey değildir . "Kapanış" terimi budur. Benzer şekilde, bir ilişki içinde "simetrik kapatılması" hakkında konuşabilirsiniz Ar , bir ilişki içinde "dönüşlü kapatma" Ar ve ilişki içinde "denklik kapatma" R tamamen aynı şekilde.R,R,R,R,R,

Bazı düşünce ile, kendinizi ikna edebilir geçişli kapanması o ise R R 2R 3... . Simetrik kapatma R R - 1'dir . Dönüşlü kapaktır R I (burada bir kimlik ilişkidir). R,R,R,2R,3...R,R,-1R,benben

Biz notasyonu kullanmak için ben R R 2... . Bu dönüşlü geçişli kapanma arasında R . Eğer Şimdi ihbar R simetriktir, ilişkilerin her ben , R , R 2 , R 3 , ... simetriktir. Dolayısıyla R simetrik de olacaktır.R,*benR,R,2...R,R,benR,R,2R,3R,*

Eşdeğerlilik kapatma Yani onun simetrik kapatılması, yani geçişli bir kapaktır ( R R ' - 1 ) * . Bu, bazıları ileri adımlar ( R ) ve bazı geri adımlar ( R - 1 ) olan bir dizi aşamayı temsil eder .R,(RR1)RR1

İlişki denklik kapama bileşik ilişkisi ile aynı ise Church-Rosser özelliğine sahip olduğu söylenir R * ( R ' - 1 ) * . Bu, tüm ileri adımların önce geldiği bir adım dizisini ve ardından tüm geri adımları izler. Bu nedenle, Church-Rosser özelliği, ileri ve geri adımların herhangi bir serpiştirilmesinin, ilk ve geri adımlar daha sonra ileri adımlar atılarak eşzamanlı olarak gerçekleştirilebileceğini söylüyor.RR(R1)


2
Soruyla ilgili bir son cümle eklediyseniz, bu iyi bir yanıt olacaktır.
Raphael

Her şey o kadar basittir ki, kişi sona erer ve "aslında cevap nerede?"
Marco Faustinelli
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.