PENDAHULUAN

MODEL PENDEKATAN OTOMATA

TEORI BAHASA DAN OTOMATA

LOGIKA
PERSOALAN DASAR
PERSOALAN
PSEUDO
CODE/
ALGORITMA FLOWCHART
DAN
STRUKTUR
DATA

COMPILER
PROGRAM
SUMBER

DATA PROGRAM DATA

MASUKAN KOMPUTER KELUARAN SUTEJO
DEFINISI
Otomata hingga adalah:
1. Model matematika yang dapat menerima input dan mengeluarkan output
2. Memiliki state yang berhingga banyaknya dan dapat berpindah dari satu
state ke state lainnya berdasarkan input dan fungsi transisi
3. Tidak memiliki tempat penyimpanan/memory, hanya dapat mengingat
stae terkini
4. Mekanisme kerja dapat diaplikasikan pada elevator, text editor, analisa
leksikal, parity checker

SUBLIME
NOTEPAD ++

SUTEJO
Finite automata dinyatakan oleh 5-tupel atau M=(Q, ∑, δ, S, F)
Q = himpunan kedudukan (state)
∑ = alfabet/himpunan simbol input
δ = fungsi transisi = Q x ∑
S = kedudukan (state) awal, S ∈ Q
F = kedudukan (state) akhir, F ⊆ Q

S dilambangkan dengan 

F dilambangkan dengan 

Setiap otomaton:
a. Mempunyai tepat satu S
b. Mempunyai satu F atau lebih SUTEJO
 CONTOH FSA

PUSH

OFF ON

PUSH

PENJELASAN:
1. SWITCH BERADA DALAM STATE “OFF” MAKA SETELAH TOMBOL DITEKAN (PUSH)
STATE BERUBAH MENJADI “ON”
2. SWITCH BERADA DALAM STATE “ON” MAKA SETELAH TOMBOL DITEKAN (PUSH)
STATE BERUBAH MENJADI “OFF” SUTEJO
GAMBAR DEFINISI FINITE OTOMATA

SUTEJO
PERBEDAAN DFA & NDFA
DFA NDFA
Transisi dari suatu state adalah ke Transisi dari suatu state dapat ke
state berikutnya untuk setiap simbol beberapa state berikutnya untuk
masukan. Oleh karena itu disebut setiap simbol masukan. Oleh karena
deterministic itu disebut non-deterministic.
Tramsisi string kosong tidak terlihat NDFA memungkinkan transisi string
pada DFA kosong
Backtracking dizinkan pada DFA Di NDFA, backtracking tidak selalu
memungkinkan
Membutuhkan lebih banyak ruang Membutuhkan lebih sedikit ruang
String diterima oleh DFA, jika transit String diterima oleh NDFA, jika
ke final state setidaknya salah satu dari semua
tansisi yang mungkin berkahir dalam
final state.

SUTEJO
DETERMINISTIC FINITE AUTOMATA (DFA)
• Adalah finite automata yang selalu menuju state tunggal tertentu
setelah membaca sembarang baris input
• Contoh 2.1

a
b
a b
b
q0 q1 q2
a

a
b
•Contoh 2.
a
b
b b
q0 q1 q2

SUTEJO

a
Konfigurnasi DFA diatas adalah:
Q = {q0, q1, q2)
∑ = {a,b}
S = q0
F = q2

Suatu sting x diterima oleh otomata atau berada dalam L(M) jika δ (q0, x)
berada pada state akhir SUTEJO
LATIHAN
Apakah string berikut dapat diterima/ditolak oleh contoh DFA (1)?
• aab
• abbb
• aaaab
• aabb
Apakah string berikut dapat diterima/ditolak oleh contoh DFA (2)?
• aab
• abbb
• aaaab
• aabb

SUTEJO
BERLANJUT

SUTEJO