they consist of a set of states, a

they consist of a set of states, a set of transition labels and a transition relation

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

ประกอบด้วยชุดของอเมริกา ชุดของการเปลี่ยนแปลงป้ายชื่อ และความสัมพันธ์ของการเปลี่ยนแปลง

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

พวกเขาประกอบด้วยชุดของรัฐชุดของฉลากการเปลี่ยนแปลงและความสัมพันธ์ของการเปลี่ยนแปลง

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

ประกอบด้วยชุดของอเมริกา ชุดของป้ายและการเปลี่ยนการเปลี่ยนแปลงความสัมพันธ์