Mesin DFA

Ketua : Mohamad Firdaus 2017110053

Anggota : 1. Mega Utami 2017110035

2. Megawati 2017110012
3. One Sri Herlinda 2017110058
A.Pengertian DFA (Deterministic Finite Automaton)

 Deterministic Finite Automaton disingkat menjadi “DFA” dan juga

biasa dikenal sebagai Deterministic Finite Acceptor
(DFA), Deterministic Finite State Machine (DFSM),
atau Deterministic Finite State Automaton (DFSA).

 DFA adalah Finite-state Machine atau mesin keadaan

terbatas yang menerima atau menolak string dari simbol dan
hanya menghasilkan perhitungan unik dari otomata untuk
setiap string yang di masukan.
  Tuple untuk DFA F(K, σ ,S,Z) , dimana:
K = {Q0,Q1,Q2,Q3}
σ = {x, y}
Tabel Transisi :
S = {Q0}
Z = {Q3} ᵟ X Y
Fungsi Transisi : Q0 Q1 Q3
δ(Q0,x) = Q1
δ(Q0,y) = Q3
δ(Q1,x) = Q0 Q1 Q0 Q2
δ(Q1,y) = Q2
δ(Q2,x) = Q1 Q2 Q1 Q3
δ(Q2,y) = Q3
δ(Q3,x) = Q3
Q3 Q3 Q0
δ(Q3,y) = Q0
 Apabila stata awal Q0 diberi masukan x maka akan bergerak ke stata Q1,
stata Q1 diberi masukan y maka akan bergerak ke stata Q2, Q2 diberi
masukan y maka akan bergerak ke stata Q3, Q3 diberi masukan x maka
akan bergerak kestata Q0 diberi masukan y (stata penerima). Yang artinya
DFA tersebut apabila diberi masukan string xyyx maka masukan tersebut
diterima.

Q0 xyyx
Q1 yyx
Q2 yx
Q3 x
Q3 Diterima
 Mesin DFA
x

Q1 y Q2

x x y

Q0 y Q3 x

y
Implementasi