等價性

等價性，兩個對象某個特定側面的相同性。就程序而言，這個側面即是語義。語義相同主要指功能相同。兩個程序功能等價指它們對同樣的輸入給出同樣的輸出。對程序等價性的研究即根據語義等價性定義一個程序代數，利用程序代數可進行程序自動轉換、程序正確性證明等。 ^[1]