3
Wann können wir sagen, dass zwei Programme unterschiedlich sind?
Q1. Wann können wir sagen, dass zwei Programme (geschrieben in einer Programmiersprache wie C ++) unterschiedlich sind? Das erste Extrem ist zu sagen, dass zwei Programme äquivalent sind, wenn sie identisch sind. Das andere Extrem ist, dass zwei Programme gleichwertig sind, wenn sie dieselbe Funktion berechnen (oder dasselbe beobachtbare Verhalten …