4
Was sind die Unterschiede zwischen logischen Beziehungen und Simulationen?
Ich bin Anfänger und arbeite an Methoden zum Nachweis der Programmäquivalenz. Ich habe einige Artikel über das Definieren logischer Beziehungen oder Simulationen gelesen, um zu beweisen, dass zwei Programme gleichwertig sind. Aber ich bin ziemlich verwirrt über diese beiden Techniken. Ich weiß nur, dass logische Beziehungen induktiv definiert werden, während …