KB 2 — Substitusi multi dan urutan pengerjaan

KB 2 — Substitusi multi dan urutan pengerjaan

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Dua pengurus memperbarui papan secara bersamaan: P akan diganti Q, dan Q akan diganti R. Pada tulisan awal P∧Q, pengurus menandai kedua tempat sebelum menulis pengganti. Tempat P menjadi Q dan tempat Q menjadi R. Q yang baru ditulis bukan sasaran putaran kedua.

Dari cerita ke notasi dan konsep BMP. Substitusi multi serentak pada P∧Q dengan {P←Q,Q←R} menghasilkan Q∧R. Substitusi berturut-turut P→Q lalu Q→R menghasilkan R∧R; ini operasi berbeda.

Bila sasaran bersarang, BMP memprioritaskan sasaran lebih besar. Untuk (P∨Q)∧P, dengan {P∨Q←S,P←R}, hasil total multi adalah S∧R. Jangan lebih dahulu mengubah P di dalam sasaran besar sehingga sasaran itu menghilang. Isi pengganti tidak diproses ulang oleh aturan dalam putaran serentak yang sama.

Hubungan materi