TEORI BAHASA OTOMATA

Deterministic Finite Automata (DFA)

Nondeterministic Finite Automata (NFA)
PENGERTIAN DARI NFA

Nondeterministic Finite Automata (NFA) adalah

salah satu bagian dari otomata berhingga atau
Finite State Automata (FSA). Pada
Nondeterministic Finite Automata (NFA)
dimungkinkan satu simbol menimbulkan transisi
ke lebih dari satu kondisi dan memberikan
beberapa kemungkinan gerakan sehingga
keluarannya tidak dapat dipastikan. Selain itu
dimungkinkan juga terjadinya transisi spontan
atau transisi .
NONDETERMINISTIC FINITE
AUTOMATA (NFA)
Nondeterministic Finite Automata (NFA) didefenisikan sebagai M yang
merupakan sebuah koleksi dari 5 obyek (Q , , s , F , ) dimana :

Q adalah sebuah himpunan hingga dari kedudukan-kedudukan.

adalah sebuah abjad masukan.
s adalah salah satu kedudukan di dalam Q yang ditetapkan
sebagai kedudukan permulaan.
F adalah sebuah koleksi dari kedudukan-kedudukan yang
diterima atau final (koleksi / himpunan dari kondisi akhir).
adalah sebuah relasi pada (Q x ) x Q dan dinamakan relasi
transisi.
NONDETERMINISTIC FINITE
AUTOMATA (NFA)
Rangkaian pada Gambar
Salah satu rangkaian Nondeterministic Finite Automata (NFA) terlihat pada gambar

tergolong dalam
Nondeterministic Finite
Automata (NFA) karena
beberapa transisi yang berasal
dari satu kondisi yaitu kondisi q0
memiliki inputan yang sama
yaitu a. Rangkaian tersebut
akan menerima string ab, aab,
aabaab, aba, dan abaaba, tetapi
tidak akan menerima string abb
Konversi dari NFA ke DFA
Berdasarkan tabel transisi pada NFA, kita gambarkan diagram transisi DFA nya
terlebih dahulu
usur arah a :
({q0,q1}, a) = {q0,a} {q1,a}
= {q0,q1} {q1}
= {q0,q1}

Busur arah b :
({q0,q1}, b) = {q0,b} {q1,b}
= {q1} {q1}
= {q1}

Selanjutnya menentukan state akhir, yaitu kita ingat

bahwa F = {q1} ketika masih NFA maka himpunan
state akhir (F) sekarang adalah semua yang
mengandung state q1.
Maka, F = {{q1}, {q0, q1}}

Gambar Diagram Transisi Akhir setelah di konversi ke D

PENGERTIAN DARI DETERMINISTIC
FINITE AUTOMATA
Deterministic Finite Automata (DFA) adalah mesin abstrak
berupa sistem model matematika dengan masukan dan keluaran
diskrit yang dapat mengenali bahasa paling sederhana (bahasa
regular) dan dapat di implementasikan secara nyata dimana
sistem dapat berada disalah satu dari beberapa konfigurasi
internal yang disebut state.Sistem state merupakan ringkasan
informasi yang berkaitan dengan beberapa input sebelumnya
yang di perlukan untuk menentukan perilaku sistem pada
inputan selanjutnya.
DETERMINISTIC FINITE AUTOMATA
Fungsi transisi, biasanya fungsi-fungsi transisi ini kita sajikan
dalam sebuah tabel transisi. Tabel transisi tersebut menunjukkan
state state berikutnya untuk kombinasi state state dan input.
Tabel transisi dari fungsi transisi adalah seperti gambar di bawah
ini
DETERMINISTIC FINITE AUTOMATA
Konfigurasi DFA diatas secara formal dinyatakan sebagai berikut
Q = {q0 , q1 , q2 , q3 }
= {0,1}
S = q0
F = { q0}

Rangkaian mesin DFA

Contoh konversi DFA yang Equevalen dengan NFA berikut ini :

Konfigurasi NFA secara formal adalah sebagai

berikut :
Q = {q0, q1 }
= {a, b}
S = q0
F = {q1}

Fungsi-fungsi transisinya sebagai berikut :

(q0, a) = {q0,q1},
(q0, b) = q1,
(q1, a) = q1,
(q1, b) = q1,
ka disajikan dalam tabel transisi :

Jika disajikan dalam tabel transisi :

Dalam DFA, selalu dan pasti terdapat satu state berikutnya untuk setiap
pasangan state-input.