Apa perbedaan mendasar antara semantik operasional kecil dan besar? Saya mengalami kesulitan memahami apa itu dan motivasi untuk memiliki
Dalam makalah "A Datatype JSON Replicated-Free Replicated" , saya menemukan notasi ini untuk mendefinisikan secara resmi "aturan": Apa sebutan notasi ini? Bagaimana saya membacanya? Sebagai contoh: yang DOCaturan tidak memiliki apa-apa di "pembilang" nya - mengapa tidak? yang EXECdan...
Saya akrab dengan semantik operasional (baik langkah kecil maupun besar) untuk mendefinisikan bahasa pemrograman. Saya tertarik untuk belajar semantik denotasional juga, tetapi saya tidak yakin apakah itu akan sepadan dengan usahanya. Apakah saya hanya akan mempelajari materi yang sama dari sudut...
Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S,...