4
อะไรคือความแตกต่างระหว่างความสัมพันธ์เชิงตรรกะและการจำลอง?
ฉันเป็นผู้เริ่มต้นในการทำงานกับวิธีการพิสูจน์ความเท่าเทียมกันของโปรแกรม ฉันได้อ่านบทความสองสามฉบับเกี่ยวกับการนิยามความสัมพันธ์เชิงตรรกะหรือการจำลองเพื่อพิสูจน์ว่าโปรแกรมสองโปรแกรมนั้นมีความเท่าเทียมกัน แต่ฉันค่อนข้างสับสนเกี่ยวกับเทคนิคทั้งสองนี้ ฉันรู้ว่าความสัมพันธ์เชิงตรรกะนั้นมีการกำหนดแบบ inductively ขณะที่การจำลองขึ้นอยู่กับการทำเงิน ทำไมพวกเขาจึงนิยามในรูปแบบดังกล่าว? อะไรคือข้อดีและข้อเสียของพวกเขาตามลำดับ? ฉันควรเลือกอันไหนในสถานการณ์ที่แตกต่างกัน