4
Apa perbedaan antara hubungan logis dan simulasi?
Saya seorang pemula yang bekerja pada metode yang membuktikan kesetaraan program. Saya telah membaca beberapa makalah tentang mendefinisikan hubungan logis atau simulasi untuk membuktikan bahwa dua program setara. Tetapi saya cukup bingung tentang dua teknik ini. Saya hanya tahu hubungan logis didefinisikan secara induktif sementara simulasi didasarkan pada coinduction. Mengapa …