Différence entre la réduction bêta et la réduction bêta en une étape?

Question

J'ai parcouru de nombreuses sources en ligne sur le lambda-calcul pour trouver la différence entre la réduction bêta et la réduction bêta en une seule étape. Mais tout ce que je sais jusqu'à présent est que la réduction de la bêta est définie comme:

(/x.L)M --> {M/x}L 

et la définition suivante de 1 étape de réduction bêta:

Quelqu'un peut-il s'il vous plaît effacer la différence entre ces deux choses avec quelques exemples Ils semblent être équivalents à moi. Aussi, il y a une réduction bêta en pas de temps que j'ai comprise comme étant une réduction bêta en 1 étape induite. Mais comme la différence entre la réduction bêta et la réduction bêta en une étape n'est pas claire, je me sens impuissant. Merci d'avance.

Answer 1

Je pense que la réduction bêta peut désigner à la fois des réductions bêta simples et multi-étapes.

Je peux dire que la réduction bêta peut donner /z.a de (/x./y./z.x) a b, mais je ne peux pas dire qu'une réduction bêta en une seule étape peut le faire.

Le reste de ce que vous avez dit est correct.