Abstract State Machines (ASMs) are

Abstract State Machines (ASMs) are an extension of Finite State Machine where unstructured control states are replaced by states with arbitrary complex data. A state represents the instantaneous configuration of the system under development, and transition rules describe the change of state. ASM states are multi-sorted first-order structures, i.e., domains of objects with functions and predicates defined on them. ASM transition rules express how function interpretations are modified from one state to the next one, and therefore describe the system configuration changes.

ผลลัพธ์ (ไทย) 1:

เครื่องจักรนามธรรมรัฐ (ASMs) เป็นส่วนขยายของเครื่องสถานะจำกัดที่อเมริกาไม่มีโครงสร้างควบคุมจะถูกแทนที่ โดยรัฐกำหนดข้อมูลที่ซับซ้อน รัฐกำหนดค่ากำลังของระบบพัฒนา และเปลี่ยนกฎอธิบายการเปลี่ยนแปลงของรัฐนั้น อเมริกาเข้มโครงสร้างลำดับแรกเรียงลำดับหลาย เช่น โดเมนของวัตถุที่มีฟังก์ชันและเพรดิเคตที่กำหนดนั้นได้ กฎเข้มเปลี่ยนแสดงว่าฟังก์ชันตีความปรับเปลี่ยนจากสถานะหนึ่งไปยังตำแหน่งถัดไป และดังนั้นจึง อธิบายถึงการเปลี่ยนแปลงการตั้งค่าคอนฟิกระบบ

ผลลัพธ์ (ไทย) 2:

บทคัดย่อรัฐเครื่อง (ASMS) เป็นส่วนขยายจากเครื่องรัฐ จำกัด ที่รัฐควบคุมที่ไม่มีโครงสร้างจะถูกแทนที่โดยรัฐที่มีข้อมูลที่ซับซ้อนโดยพล รัฐแสดงให้เห็นถึงการกำหนดค่าที่รวดเร็วของระบบภายใต้การพัฒนาและการเปลี่ยนแปลงกฎการอธิบายการเปลี่ยนแปลงของรัฐ รัฐ ASM มีหลายโครงสร้างเรียงลำดับแรกคือโดเมนของวัตถุที่มีฟังก์ชั่นและภาคที่กำหนดไว้กับพวกเขา กฎการเปลี่ยนแปลง ASM แสดงว่าฟังก์ชั่นการตีความมีการแก้ไขจากรัฐหนึ่งไปที่หน้าหนึ่งและดังนั้นจึงอธิบายการเปลี่ยนแปลงการกำหนดค่าระบบ