Come dimostrare l'equivalenza tra gli assiomi di assegnazione di Hoare e Floyd?
-
04-11-2019 - |
Domanda
Come dimostrare che questi due assiomi sono equivalenti:
1: $ {g [v/e] } v: = e {g } $
2: $ {f } v: = e { esiste v '(f [v/v'] land v = e [v/v ']) } $
Ho provato con $ g = esiste v '(f [v/v'] land v = e [v/v ']) $ e poi ottengo $ g [v/e] = f $, ma quando Provo $ f = g [v/e] $ quindi da $ esiste v '(f [v/v'] land v = e [v/v ']) $ non posso ottenere $ g $.
È anche il modo corretto di affrontare questa prova?
Grazie!
PS c'era già una domanda, ma non ha risposto: Come mostrare l'equivalenza dell'assegnazione di Hoare Axiom vs Floyd Assegnation Axiom?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange