KB 2 — Agreement pada simbol dan ekspresi
KB 2 — Agreement pada simbol dan ekspresi
Cerita pengantar — penjelasan tambahan, data simulasi. Dua pengurus menggunakan daftar nomor loker yang sama. Keduanya sepakat kartu a menunjuk nomor 1 dan fungsi f menambah satu modulo 3. Mereka berbeda pendapat tentang kartu b. Untuk menghitung f(a), perbedaan tentang b tidak diperlukan. Nilai f(a) tetap 2 pada kedua catatan.
Dari cerita ke notasi dan konsep BMP. Agreement pada simbol berarti penafsirannya sama. Untuk fungsi, sama berarti hasilnya sama pada seluruh masukan yang sesuai, bukan hanya namanya atau satu nilai coba. Misalnya
Agreement pada ekspresi berarti penilaiannya sama. Dua fungsi berbeda dapat kebetulan memberi nilai sama pada satu argumen. Jika interpretasi ber-domain sama sepakat pada semua simbol bebas yang diperlukan suatu ekspresi, nilainya sama. Ini syarat cukup; ketidaksepakatan pada satu simbol belum otomatis membuat seluruh formula berbeda nilainya. Contohnya
BMP juga mengakui kesepakatan ketika kedua interpretasi sama-sama tidak memberi nilai pada ekspresi. Catat secara terpisah: keduanya terdefinisi dengan nilai sama, keduanya tidak terdefinisi, atau belum dapat ditentukan. Jangan menyebut rumus tak terdefinisi sebagai bernilai salah. Bila hanya satu interpretasi memberi nilai yang diperlukan, kesepakatan tidak terpenuhi.