1 ความแตกต่างระหว่างซีแมนติกส์ขนาดเล็กและใหญ่ในการปฏิบัติงาน อะไรคือความแตกต่างพื้นฐานระหว่างความหมายในการดำเนินงานขนาดเล็กและขนาดใหญ่ ฉันมีเวลายากที่จะเข้าใจว่ามันคืออะไรและมีแรงบันดาลใจในการมีสองสิ่งนี้ 28 semantics operational-semantics small-step-semantics