O que é equivalência beta?


21

No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta:

O β -equivalence β é o menor equivalência que contém β .

Eu não tenho idéia o que isso significa. Alguém pode explicar isso em termos mais simples? Talvez com um exemplo?

Preciso dele para um lema que segue o teorema de Church-Russer, dizendo

ββββ


Desculpe se o idioma não é perfeito, traduzi as aspas do alemão.
magnattic

Respostas:


20

β é a relação de uma etapa entre os termos no -calculus. Essa relação não é reflexiva, simétrica ou transitiva. A relação de equivalência é o fechamento reflexivo, simétrico e transitivo de . Isso significaβ βλββ

  1. Se então .MβMMβM
  2. Para todos os termos , é válido.M β MMMβM
  3. Se'em seguida, .H ' p MMβMMβM
  4. Se e , então .M ' beta M " M beta M "MβMMβMMβM
  5. β é a menor relação que satisfaz as condições 1-4.

Mais construtivamente, primeiro aplique as regras 1 e 2, depois repita as regras e repetidamente até que não adicionem novos elementos à relação.434


1
Ok obrigado, acho que entendi. Minha primeira suposição foi que significa que M pode, de alguma forma, ser reduzido a N, mas isso não precisa necessariamente ser válido, porque eles obviamente também são equivalentes se puderem ser reduzidos ao mesmo termo. Por causa do seu ponto 3, isso pode ser construído então, eu acho. Obrigado, isso ajudou muito. MβN
magnattic

A relação não é infinitamente grande? Nem sempre consigo encontrar um Termo L para um Termo M, de modo que ? LβM
magnattic

É, mas isso não deve ser problemático. Por que você está procurando um ? L
Dave Clarke

Eu não sei. Eu estava apenas discutindo com meu parceiro se sempre seria infinitamente grande. Obrigado por explicar. :)
magnattic

11

É realmente a teoria dos conjuntos elementares. Você sabe o que é uma relação reflexiva, o que é uma relação simétrica e o que é uma relação transitiva, certo? Uma relação de equivalência é aquela que satisfaz todas as três dessas propriedades.

Você provavelmente já ouviu falar do "fechamento transitivo" de uma relação ? Bem, não é nada, mas a relação menos transitivo que inclui . É isso que significa o termo "encerramento". Da mesma forma, você pode falar sobre o "fechamento simétrico" de uma relação , o "fechamento reflexivo" de uma relação e o "fechamento de equivalência" de uma relação exatamente da mesma maneira.R R R RRRRRR

Com alguma reflexão, você pode se convencer de que o fechamento transitivo de é . O fechamento simétrico é . O fechamento reflexivo é (onde é a relação de identidade). R R 2R 3... R R - 1 RRRR2R3RR1RII

Usamos a notação para . Este é o fechamento transitivo reflexiva de . Agora observe que se é simétrico, cada uma das relações , , , , ... é simétrica. Portanto, também será simétrico.RIRR2RRIRR2R3R

Portanto, o fechamento de equivalência de é o fechamento transitivo de seu fechamento simétrico, ou seja, . Isso representa uma sequência de etapas, algumas das quais são etapas avançadas ( ) e algumas etapas anteriores ( ).R(RR1)RR1

Diz-se que a relação possui a propriedade Church-Rosser se o fechamento da equivalência for o mesmo que a relação composta . Isso representa uma sequência de etapas nas quais todas as etapas avançadas vêm primeiro, seguidas por todas as etapas anteriores. Portanto, a propriedade Church-Rosser diz que qualquer intercalação de etapas para a frente e para trás pode ser realizada de maneira equivalente executando-se as etapas para a frente primeiro e para trás depois.RR(R1)


2
Se você adicionou uma frase final para se relacionar com a pergunta, essa seria uma boa resposta.
Raphael

É tudo tão elementar que chega ao fim e se pergunta "onde está a resposta, na verdade?"
Marco Faustinelli
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.