An automaton A can be represented b

An automaton A can be represented by a graph whose
nodes and arcs represent the states and the transitions of
A, respectively. An arc from q to r labeled by the event σ
represents the transition q →σ r. Several arcs labeled σ1 , · · · , σn
linking the same pair of states q, r

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

หุ่นยนต์สามารถแสดงเป็นกราฟที่มีโหนดและโค้งเป็นตัวแทนของรัฐและการเปลี่ยนของตามลำดับ โค้งจากคิวอาร์ที่จะโดดเด่นด้วยเหตุการณ์σแสดงให้เห็นถึงการเปลี่ยนแปลงคิว→σอา โค้งที่มีข้อความหลายσ1, ···, σnเชื่อมโยงคู่เดียวกันของรัฐคิวอาร์

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

เป็นหุ่นยนต์ที่สามารถแสดงได้ด้วยกราฟ ซึ่งเป็นตัวแทนของรัฐ
โหนดและโค้งและการเปลี่ยนของการ ตามลำดับ ส่วนโค้งจาก Q R ป้าย โดยเหตุการณ์σ
หมายถึงเปลี่ยน Q →σอาร์หลายโค้งมีป้ายσ 1 · · ·σ n ,
การเชื่อมโยงคู่เดียวกันของรัฐ Q , r