ฉันพยายามสร้าง DFA สำหรับ NFA นี้
∑ - ชุดตัวอักษร
Qตั้งค่า -ates
σ(Q×(∑∪ϵ))→P(Q)สถานะ func
q0=q0
F⊆Q,F={q0}
เพราะทุก NFA มี DFA เท่ากันให้สร้าง DFAสำหรับ NFA ที่ได้รับนี้M′
ตัวอักษร - เหมือนกัน
Q′=P(Q) - สถานะ
สถานะปัจจุบันคือR∈P(Q)
E(R) - เอปไซลอนปิดคืนชุดของรัฐที่สามารถเข้าถึงได้มากกว่าศูนย์หรือมากกว่า - การเชื่อมต่อสำหรับทุกϵr∈R
σ′(R,a)=⋃r∈RE(σ(r,a)) -transitions
q′0=E({q0})
F′=P(Q)÷F
คำนวณบางอย่างใน FSM นี้
1. ϵในอินพุต: สถานะเริ่มต้นรวมดังนั้น FSM จึงยอมรับq′0=E({q0})={q0,q1}q1ϵ
2. 0∗ที่อินพุต:
ดังนั้น FSM จึงยอมรับσ′({q0,q1},0)=E(σ(q0,0))∪E(σ(q1,0))={q0,q1}∪{}={q0,q1}0∗
อย่างน้อย{ϵ,0∗}⊂L(M′)
ขอบคุณDavid Richerby