KELOMPOK 3

Non Deterministic
Finite Aotomota (NFA)
MK : TEORI BAHASA DAN AUTOMATA
DOSEN MK : FHATIAH ADIBA S.PD., M.CS.
Kelompok 3
Ahmad Faris Al Faruq (210209501066)
Awaluddin Yunus (210209502083)
Nur Azizah Ayu Safanah (210209502011)
Putri Nanda Sari (210209500007)
Muhammad Rifqi Alsadhani (210209502118)
Muh. Alif (210209502049)
Rifqa Awalia (210209501015)
Andi Iza Ferlita (210209501067)
Mita Margama Sudarji (1929342007)
Definisi NFA
Non-Deterministic Finite Automaton (NFA)
adalah model matematika yang digunakan
dalam ilmu komputer dan ilmu komputer
teoretis untuk mengenali bahasa atau
himpunan string. Ini adalah mesin abstrak yang
membaca simbol masukan dari alfabet dan
berpindah dari satu keadaan ke keadaan lain
berdasarkan fungsi transisi sampai mencapai
keadaan penerimaan.
 DFA NFA
Multi transisi dari 1 state ke state yang
1 transisi dari 1 state ke state yang lain
lain
(transisi tunggal)
Boleh terdapat transisi kosong
Tidak ada transisi kosong
String diterima jika setidaknya 1 dari
String di terima jika berakhir di final
semua kemungkinan transisi berakhir
state
pada sebuah final state
Elemen atau Tupel NFA
NFA dinyatakan dalam 5 tupel yaitu

M=(Q,∑,δ,S,F)

Q = Himpunan State
Σ = Himpunan Simbol Input
δ = Fungsi Transisi δ : Q × Σ
S = State Awal / Initial State , S ∈Q
F = State Akhir, F ⊆ Q

Contoh 1
Q = {q0,q2}
Σ = {a,b}
S = q0
F = {q2}

δ  a b

q0 {q0,q2} {q2}

q2 {q2} {q2}
 Contoh 2
Konfigurasi NFA contoh 3 secara formal adalah sebagai berikut :
Q = {q0, q1 }
S = {a, b}
S = q0
F = {q1}
Fungsi-fungsi transisinya sebagai berikut :
d (q0, a) = q1, d (q0, b) = q0,
d (q1, a) = q0, d (q1, b) = Ø,

Jika disajikan dalam tabel transisi :

d a b

q0 {q1} {q0}

q1 {q0} Ø
Epsilon Simbol ɛ (epsilon) pada non-
deterministic FSA memiliki arti tanpa
masukan atau transisi kosong serta
menandakan bahwa terjadi
perubahan state secara spontan.
Berikut dibawah ini contoh yang
berkaitan dengan transisi kosong.
Berikut contoh disamping yang
menunjukkan transisi kosong
 Contoh 3
Input
δ
a b ɛ

1 {1} {1} {2}

Pada gambar diatas menunjukkan state 1 2 {2} {3} Ø

menuju state 2 dapat melakukan proses
transisi secara spontan tanpa masukan 3 {2} {1} {2}
(transisi kosong). Hal tersebut terjadi juga
pada proses transisi state 3 menuju state
2.
Terima Kasih