We have followed the notations and

We have followed the notations and algorithms given in Colin de la Hihuera's book.

The details of RPNI algorithms can be found in chapter 12, EDSM in chapter 14 and k-testable language in chapter 11 of the book.

In this section we briefly introduce notations and definitions.

Preliminaries

Definition 1.A Deterministic Finite Automaton is defined as a 6-tuple

where A is the set of alphabets, Q is the set of finite , B is the initial state, C is the set of final accepting states, D is set of final rejecting state, E is the transition function.

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

เราได้ปฏิบัติตามสัญลักษณ์และอัลกอริทึมที่กำหนดในหนังสือโคลินเดลา Hihueraรายละเอียดของขั้นตอนวิธี RPNI สามารถพบได้ในบทที่ 12, EDSM ในบทที่ 14 และ k กับภาษาบทที่ 11 ของหนังสือในส่วนนี้ เราสั้น ๆ แนะนำสัญลักษณ์และนิยามขั้นนิยาม 1.A Deterministic ออโตมาตาจำกัดถูกกำหนดเป็น 6-tupleซึ่งเป็นชุดของตัวอักษร Q เป็นชุดของจำกัด B คือ สถานะเริ่มต้น C คือ ชุดของอเมริกายอมรับสุดท้าย D ถูกตั้งค่าสถานะสุดท้ายปฏิเสธ E เป็นฟังก์ชันเปลี่ยน

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

เราได้ปฏิบัติตามเครื่องหมายและขั้นตอนวิธีการที่กำหนดในหนังสือของโคลินเดอลา Hihuera ของ. รายละเอียดของขั้นตอนวิธี RPNI สามารถพบได้ในบทที่ 12 EDSM ในบทที่ 14 และภาษา K-ทดสอบในบทที่ 11 ของหนังสือเล่มนี้. ในส่วนนี้เราสั้นแนะนำสัญลักษณ์ และคำจำกัดความ. รอบคัดเลือกโซนนิยาม 1.A ตายตัวแน่นอนหุ่นยนต์ถูกกำหนดให้เป็น 6 tuple ที่เป็นชุดของตัวอักษร, Q คือชุดของ จำกัด , B เป็นสถานะเริ่มต้น, C คือชุดของรัฐยอมรับสุดท้าย D เป็น การตั้งค่าของรัฐปฏิเสธสุดท้าย E เป็นฟังก์ชั่นการเปลี่ยนแปลง

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

เราได้ตามสัญลักษณ์และขั้นตอนวิธีที่ระบุในหนังสือ คอลิน เดอ ลา hihuera .รายละเอียดของขั้นตอนวิธี rpni สามารถพบได้ในบทที่ 12 edsm ในบทที่ 14 k-testable ภาษาในบทที่ 11 ของหนังสือในส่วนนี้เราสั้นแนะนำสัญกรณ์และคำจำกัดความรอบแรกความหมาย 1 . ติดตั้งเครื่อง หมายถึง 6-tuple ไฟไนต์ออโตมาตาซึ่งเป็นชุดของตัวอักษร Q คือเซตจำกัด B เป็นรัฐแรก C เป็นชุดสุดท้าย ยอมรับสภาพ เป็นชุดสุดท้ายที่ปฏิเสธรัฐ , E เป็นฟังก์ชั่นการเปลี่ยน