Semua bahasa yang dapat dikenali oleh NFA juga dapat dikenali oleh DFA.
Pernyataan yang paling tepat tentang hubungan NFA dan DFA adalah ....
Berikut himpunan string yang dapat dibentuk dari Ekspresi Regular (0+1)*00, kecuali
Perhatikan table berikut.
Image failed to load | Image failed to load a | Image failed to load b |
q0 | q1 | q1 |
| q1 | {q2,q3} | q2 |
| q2 | {q3,q4} | {q3,q4} |
| q3 | q4 | q1 |
| q4 |
Table diatas merupakan table DFA
DFA dapat memiliki lebih dari satu transisi untuk simbol input yang sama.
Dalam konstruksi DFA dari NFA, setiap state pada DFA mewakili himpunan state dari NFA.
Mesin otomata membuat keputusan menerima string input bila mencapai state akhir. State akhir dinyatakan dengan
Epsilon (ε) transition adalah transisi tanpa membaca simbol input
Bahasa formal terdiri dari:
Mesin turing adalah mesin yang bisa mengenali bahasa natural, dimana aturannya adalah Simbol pada sebelah kiri hanya boleh satu simbol variable.