A computation of an ASM is a finite

A computation of an ASM is a finite or infinite sequence
s0; s1; : : : ; sn; : : : of states of the machine, where s0 is an
initial state and each sn+1 is obtained from sn by simultaneously
firing all the transition rules which are enabled in sn.
The (unique) main rule is a transition rule and represents the
starting point of the computation. An ASM can have more
than one initial state. It is possible to specify state invariants.

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

คำนวณของ ASM เป็นแน่นอนหรืออนันต์ลำดับ
S0; S1; :::; SN; ::: รัฐของเครื่องที่ S0 เป็น
สถานะเริ่มต้นและแต่ละ SN + 1 จะได้รับจาก SN โดยพร้อมกัน
. ยิงทุกกฎการเปลี่ยนแปลงที่มีการเปิดใช้งานใน SN
(ที่ไม่ซ้ำกัน) กฎหลักคือกฎการเปลี่ยนแปลงและหมายถึง
จุดเริ่มต้นการคำนวณ ASM สามารถมีได้
มากกว่าหนึ่งสถานะเริ่มต้น มันเป็นไปได้ที่จะระบุค่าคงที่ของรัฐ

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

การคำนวณของ ASM เป็นลำดับอนันต์จำกัดหรือName ; S1 ; : : : ; Sn ; : : : สภาพของเครื่องที่ Name เป็นเริ่มต้นของรัฐและแต่ละ SN + 1 ได้รับจาก SN โดยพร้อมกันยิงทั้งหมดการเปลี่ยนแปลงกฎซึ่งจะเปิดใช้งานใน SN .( เฉพาะ ) กฎหลักคือการเปลี่ยนแปลงการปกครองและเป็นตัวแทนจุดเริ่มต้นของการคำนวณ . เป็นเครือข่ายได้มากขึ้นมากกว่าหนึ่งครั้งแรกของรัฐ มันเป็นไปได้เพื่อระบุสถานะผลยืนยง .