Tata bahasa (grammar) dapat didefinisikan secara formal sebagai kumpulan dari kecuali:
Ekspresi reguler untuk string dengan panjang genap:
Untuk menghilangkan epsilon move, langkah pertama adalah:
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