Trust Me, This Makes Me Headache [TBO]

Ya, judulnya agak lebay sih, emang, hehe..

Yang aku bahas kali ini adalah salah satu tugas Teori Bahasa Otomata, yang lebih tepatnya membahas masalah Ekspresi Reguler.

Oke langsung saja:

Diketahui dua buah mesin DFA seperti di bawah ini:

Jika L1 dan L2 berturut - turut adalah bahasa yang dihasilkan oleh mesin M1 dan M2, berikan DFA yang menerima bahasa:
1. L1 ∪ L2  (union)
2. L1 ∩ L2  (intersection)

Maka, jawabanku adalah ini:

Untuk yang Union lebih mudah membuat mesin DFAnya, kedua mesin hanya tinggal digabungkan dengan input empty (ε).

Kalau yang intersection, agak njelimet aku jelasinnya. Aturannya,

1. State awal dari kedua mesin, digabungkan menjadi satu state awal yang baru (A,X). 

2. Dari State awal tersebut, jika diberikan input 0, maka A akan mengarah pada B dan X akan mengarah pada X. Sehingga keduanya pun digabungkan dalam satu state (B,X)

3. Dan seterusnya hingga sudah tidak ada lagi state baru yang bisa dibuat.

Semoga penjelasanku bisa dipahami, haha, udah pusing sangat nih.. 

ps: Ini sepemahamanku, kalau ada yang salah silakan di koreksi, hehe..