1.

REKAYASA PERANGKAT LUNAK

Otomata
Deterministik
dan Non
Deterministik
Ferry Febrianto, M.Kom
Teori Bahasa dan Automata
STIMIK Tunas Bangsa Banjarnegara
Agenda
TOPIK UTAMA DALAM
PRESENTASI INI

Konsep
Grammar
FSA
DFA
 1. Konsep

Merupakan model matematika yang dapat menerima input

dan mengeluarkan output
Memiliki state yang berhingga banyaknya dan dapat
berpindah dari satu state ke state lainnya berdasar input
dan fungsi transisi
Contoh : Mesin ice cream otomatis, EDC
Tuple pada FSA :
Q = himpunan state
∑ = himpunan symbol input
δ = fungsi transisi
S = state awal
F = state akhir (dilambangkan dengan lingkaran ganda)
Contoh :

Q = {q0, q1,q2,q3,q4,q5}
∑ = {a,b,c}
S = q0
F = {q3, q4}

Dari gambar mesin automata diatas :

Input yang dapat diterima adalah : aba, abb (karena berakhir pada
state akhir)
Input yang ditolak adalah : abc (tidak berakhir pada state akhir)
Contoh :

Q = { ..... }
∑ = { ..... }
S = { ..... }
F = { ..... }

Dari gambar mesin automata diatas :

Input yang dapat diterima adalah :
Input yang ditolak adalah :
 Jenis FSA
1. Deterministic State Automata (DFA)
2. Non Deterministic State Automata (NFA)

Deterministic State Automata (DFA)

Dari suatu state ada tepat satu state berikutnya untuk setiap symbol masukan yang diterima

Q = {q0, q1,q2 }
∑ = {a,b}
S = q0
F = q2
Contoh :

Q = { ..... }
∑ = { ..... }
S = { ..... }
F = { ..... }

Dari gambar mesin automata diatas :

Input yang dapat diterima adalah :
Input yang ditolak adalah :
Contoh :

Q = { ..... }
∑ = { ..... }
S = { ..... }
F = { ..... }

Dari gambar mesin automata diatas :

Input yang dapat diterima adalah :
Input yang ditolak adalah :
Contoh :
Q = {q0, q1,q2,q3, q4 }
∑ = {a,b}
S = q0
F = {q0, q1, q2}
 Jenis FSA
1. Deterministic State Automata (DFA)
2. Non Deterministic State Automata (NFA)

Non-Deterministic State Automata (NFA)

Dari suatu state bisa terdapat lebih dari 1 busur keluaran dari input yang sama

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

Q = { ..... }
∑ = { ..... }
S = { ..... }
F = { ..... }

Dari gambar mesin automata diatas :

Input yang dapat diterima adalah :
Input yang ditolak adalah :
Contoh :
Q = {q0, q1,q2, q3, q4}
∑ = {0,1}
S = q0
F = {q2, q4}
Ada
pertanyaan?
Kirimkan kepada kami! Semoga Anda
mempelajari sesuatu yang baru.