4
Quali sono le differenze tra relazioni logiche e simulazioni?
Sono un principiante che lavora su metodi che dimostrano l'equivalenza del programma. Ho letto alcuni articoli sulla definizione di relazioni logiche o simulazioni per dimostrare che due programmi sono equivalenti. Ma sono abbastanza confuso su queste due tecniche. So solo che le relazioni logiche sono definite induttivamente mentre le simulazioni …