Develop a ConDec model for the proc

Develop a ConDec model for the process containing tasks bless, pray, curse,and become holy, where three rules must be followed:
(a) One should become holy at least once.
(b) Every time one curses, one must eventually pray for forgiveness afterwards.
(c) Tasks become holy and curse cannot both be executed in the same instance.
Does this model have errors? Explain why. Hint: use the automata generated for the mandatory formula of this model shown in Fig. 6.22

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

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

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

พัฒนารูปแบบ Condec สำหรับกระบวนการทำงานที่มีพรอธิษฐานสาปแช่งและกลายเป็นที่ศักดิ์สิทธิ์ที่กฎสามจะต้องปฏิบัติตาม:
(ก) หนึ่งควรจะเป็นที่ศักดิ์สิทธิ์อย่างน้อยหนึ่งครั้ง
(ข) ทุกครั้งที่หนึ่งคำสาปหนึ่งในที่สุดก็ต้องภาวนาให้ การให้อภัยนั้น
(ค) กลายเป็นงานที่ศักดิ์สิทธิ์และคำสาปแช่งไม่สามารถจะดำเนินการทั้งในกรณีเดียวกัน
ไม่รุ่นนี้มีข้อผิดพลาด? อธิบายว่าทำไม คำแนะนำ: ใช้ออโตสร้างขึ้นสำหรับสูตรบังคับของแบบนี้แสดงในรูปที่ 6.22

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

พัฒนารูปแบบ condec สำหรับกระบวนการที่มีงานอวยพร , อธิษฐาน , สาปแช่งและกลายเป็นพระ , ที่ 3 กฎที่ต้องทำตาม :
( ) ควรเป็นพระอย่างน้อยหนึ่งครั้ง .
( b ) ทุกครั้งที่คำสาป , หนึ่งในที่สุดจะต้องอธิษฐานยกโทษภายหลัง .
( C ) งานกลายเป็นผู้บริสุทธิ์และสาปแช่ง ไม่สามารถจะดำเนินการในกรณีเดียวกัน .
แล้วรุ่นนี้มีข้อผิดพลาด ? อธิบายว่าทำไม คำใบ้ :ใช้ออโตมาตาสร้างสูตรบังคับของรูปแบบนี้จะแสดงในรูปที่ :