ATURAN PRODUKSI FINITE STATE AUTOMATA
Lintang Bagas. A1), Rini Nuraini, S.T ., M.Kom. .2)
1)
Fakultas Teknologi Komunikasi dan Informatika, Universitas Nasional Jakarta
2)
Fakultas Teknologi Komunikasi dan Informatika, Universitas Nasional Jakarta
Jl. Sawo Manila 61, Pejaten, Ps. Minggu, Jakarta Selatan 12520
Email : lintangbagas20@gmail.com 1), 050019052@yahoo.com2)
Abstrak
Teknik kompilasi merupakan kelanjutan dari konsep-
konsep dalam teori bahasa dan otomata. Pada tahun
1956-1959 Noam chomsky melakukan penggolongan
tingkatan dalam bahasa, yaitu menjadi 4 class.
Penggolongan tingkatan itu disebut dengan hirarki
chomsky.
Tata bahasa (grammar) adalah sekumpulan dari
himpunan variabel-variabel, simbol-simbol terminal,
simbol non-terminal, dan simbol awal yang dibatasi oleh
aturan-aturan produksi. Aturan produksi itu sendiri
adalah pusat dari tata bahasa yang menspesifikasikan
bagaimana suatu tata bahasa melakukan transformasi
suatu string ke suatu bentuk lainnya.
Kata kunci: teknik kompilasi, chomsky, tata bahasa,
aturan produksi.
1. Pendahuluan
Komputer mengikuti sejumlah prosedur sistematis atau
algoritma yang dapat diaplikasikan untuk serangkaian
input (string) yang menyatakan integer dan
menghasilkan jawaban setelah sejumlah berhingga
langkah. Karena tidak puas dan terbatasnya jawaban
yang dihasilkan dari langkah-langkah tersebut, kemudian
pada tahun 1930-an Alan Turing mempelajari mesin
abstrak yang memiliki kemampuan seperti komputer
sekarang (dalam hal apa yang dihitung) dengan tujuan
dapat mempermudah semua perhitungan serta
mengefisienkan waktu dalam perhitungan tersebut.
Mesin abstrak itu sendiri adalah model teoritis dari
perangkat keras atau perangkat lunak yang digunakan
dalam teori automata. Tipe paling sederhana dari mesin
abstrak adalah finite automaton atau finite state machine.
Prinsip yang mendasari mesin ini adalah sistem pada
setiap saat dalam salah satu dari sejumlah state
berhingga dan bergerak diantara state-state tersebut
dalam merespon sinyal input individual.
Setelah beberapa tahun kemudian, mulai
diperkenalkanlah aturan produksi yang dimana dalam
teorinya adalah sebuah proses yang menspesifikasikan
bagaimana suatu tata bahasa dan mentransformasi suatu
string ke bentuk lainnya. Aturan produksi dinyatakan
dalam bentuk α → β, α menghasilkan atau menurunkan
β. α merupakan simbol ruas kiri sedangkan β merupakan
simbol ruas kanan. Simbol – simbol tersebut dapat
berupa terminal dan nonterminal dimana simbol
nonterminal dapat diturunkan menjadi simbol terminal.
Simbol terminal disimbolkan dengan huruf kecil (a,b,c,
dan sebagainya), sedangkan simbol nonterminal
disimbolkan dengan huruf besar (A,B,C, dan
sebagainya).
2. Pembahasan
A. Aturan Produksi Bahasa Regular
Kompilator (compiler) adalah sebuah program yang
membaca suatu program yang ditulis dalam suatu bahasa
sumber (source language) dan menterjemahkannya ke
dalam suatu bahasa sasaran (target language).
Proses kompilasi dapat dilihat pada gambar sebuah kotak
hitam (black box) berikut ini:
Gambar 1. Proses kompilasi
Kemudian tata bahasa (grammar) adalah merupakan
sekumpulan dari himpunan variabel-variabel, simbol-
simbol terminal, simbol non-terminal, simbol awal yang
dibatasi oleh aturan-aturan produksi. Tata Bahasa
(grammar) itu sendiri didefinisikan dengan empat (4)
tupel G = ({V, T, P, S})
dimana :
V = Himpunan simbol variabel / non terminal
T = Himpunan simbol terminal
P = Kumpulan aturan produksi
S = Simbol awal
Aturan produksi adalah pusat dari tata bahasa yang
menspesifikasikan bagaimana suatu tata bahasa
melakukan transformasi suatu string ke suatu bentuk
lainnya. Selain itu, dapat juga mengkonstruksi aturan-
aturan produksi untuk suatu tata bahasa regular, yang
dimana batasan aturan produksi untuk bahasa regular itu
sendiri, yaitu :
α→β
α adalah sebuah simbol variabel.
β maksimal memiliki sebuah simbol variabel yang bila
ada terletak diposisi paling kanan.
Batasannya dapat bertambah lagi, dimana ruas kanan
maksimal memiliki sebuah simbol variabel yang terletak
dipaling kanan. Artinya bisa memiliki simbol terminal
dengan jumlah tidak dibatasi, tetapi bila terdapat simbol
variabel maka simbol variabel tersebut hanya berjumlah
satu (1) dan terletak paling kanan.
Namun aturan produksipun dapat juga dinyatakan tidak
legal apabila sebagai berikut:
 Simbol ɛ tidak boleh berada pada ruas kiri,
misal ɛ → Abd
ɛ merupakan string kosong
 Aturan produksi yang ruas kirinya hanya
memuat simbol terminal saja misal : a → bd
atau ab → bd
 Bahasa manusia/bahasa alami termasuk ke
dalam tata bahasa Tipe 0/unrestricted, atau
tidak ada batasan pada aturan produksinya.
 Batasan context sensitive biasanya turut
digunakan dalam proses analisis semantik pada
tahapan kompilasi
 Bahasa context free menjadi dasar dalam
pembentukan suatu parser / proses analisis
sintaksis, dideskripsikan dengan notasi BNF
(Backus Normal Form)
B. Mengkonstruksi Aturan Produksi dari Suatu
Finite State Automata
Finite State Automata awalnya dikembangkan
berdasarkan pemikiran neural network dan switching
circuit. Finite State Automata merupakan tool yang
sangat berguna dalam perancangan lexical analyzer,
yaitu bagian dari kompilator yang mengelompokkan
karakter-karakter ke dalam token, yang berupa unit
terkecil seperti nama, variabel dan keyword. Dalam
sistem penulisan, kompilator secara otomatis akan
mentransformasikan ke dalam finite state automata dan
dipakai juga dalam text editor, pattern matching,
sejumlah pemrosesan teks, dan program file-searching,
dan sebagai juga konsep matematis untuk aplikasi lain
yang berhubungan dengan logika.
Finite state automata itu sendiri terdiri dari sejumlah
berhingga state. Dalam banyak sistem dan komponen
seperti dijelaskan di atas, sejumlah berhingga state
tersebut digunakan untuk mengingat bagian dari histori
suatu sistem. Karena hanya terdapat sejumlah berhingga
state, maka secara umum histori sistem secara
keseluruhan tidak dapat disimpan/diingat, sehingga
sistem tersebut harus dirancang terlebih dahulu untuk
mengingat apa yang penting dan melupakan apa yang
tidak penting.
Dalam mengkonstruksi aturan produksi tata bahasa
regular dari suatu finite state automata, perlu diingat
yang menjadi perhatian adalah state-state yang bisa
menuju ke state akhir.
Gambar 2. Contoh mesin finite state automata
Pada contoh mesin finite state automata tersebut,
memiliki simbol input ‘a’ dan ‘b’.
 Misalkan identitas state awal q0 dengan simbol
awal S.
δ (q0, a) = q1
Dapat ditulis :
S → aE
Dimana E kita identikan dengan q1.
 Dari q1 terdapat transisi :
δ (q1, ε) = q2 dan δ (q1, ε) = q3
Dapat ditulis :
E →A E → B
Dimana A kita identikan dengan q 2 dan B kita
identikan dengan q3.
 Selanjutnya dapat dilihat, dari state q2 dengan
input ‘a’ kembali ke state q2 dan dari state q3
dengan input ‘b’ kembali ke state q3.
δ (q2, a) = q2 dan δ (q3, b) = q3
Dapat ditulis :
A → aA B → bB
 Selanjutnya, dari state q2 dengan input ‘b’
menuju state q4 dan dari state q3 dengan input
‘b’ menuju ke state q4. Sementara q4 adalah
himpunan state akhir dan dari state q4 tidak ada
lagi busur keluar, maka :
δ (q2, b) = q4 dan δ (q3, b) = q4
Dapat ditulis :
A→ b B → b
 Kumpulan-kumpulan aturan produksi yang
telah diperoleh bisa ditulis sebagai berikut :
S → aE
E →A| B
A → aA | b
B → bB | b
‘|’ berarti atau, maka secara formal tata bahasa
yang diperoleh dari otomata tersebut dapat
ditulis dengan sebagai berikut:
V = {S, E, A, B}
T = {a, b}
P = { S → aE , E → A | B , A → aA | b , B →
bB | b }
S=S
Kemudian bisa dilihat pada contoh selanjutnya.
 Gambar 4. Contoh lain lagi mesin finite state automata

 Contoh lain, dari gambar ketiga tersebut, maka

aturan produksinya adalah sebagai berikut:
S → aA | aS
A → bB
B → bA | ɛ ,

C. Finite State Automata untuk suatu Tata Bahasa

Gambar 3. Contoh lain mesin finite state automata Regular
Jika sebelumnya dari suatu diagram transisi finite state
 Maka, dapat dikonstruksikan aturan produksi automata dapat dibuat aturan-aturan produksi tata bahasa
untuk otomata tersebut sebagai berikut: regularnya, maka sebaliknya bisa juga mengkonstruksi
T = {a,b} diagram transisi finite state automata untuk suatu tata
S=S bahasa regular yang diketahui aturan-aturan
produksinya.
Contoh: Tata bahasa regular
 Kemudian, kumpulan aturan produksinya
S → aB | bA | ɛ
dibuat sebagai berikut:
A → abaS
S → aA | bB
B → babS
(identikkan S untuk q0, A untuk q1, B untuk q4)
A → bC
Maka, selanjutnya dapat langsung menggambar atau
(identikkan C untuk q2)
merancang diagram transisi finite state automatanya,
C → aS
yang dimana S identik dengan q0; A identik dengan q1;
(dari q2 mendapat input a ke q0)
dan B identik dengan q4.
(dari q3 tidak ada transisi keluar dan bukan state
Lengkapnya adalah sebagai berikut:
akhir maka transisi ke q3 kita abaikan)
B → bD
(identikkan D untk q5)
D → bS
(dari q5 mendapat input b ke q0)
(dari q6 tidak ada transisi keluar dan bukan state
akhir maka transisi ke q6 kita abaikan)

 Pada kasus ini kita lihat q0 sebagai state akhir

masih memiliki transisi keluar, maka
untuk menandakannya sebagai state akhir kita
buat:
Gambar 5. Gambar atau rancangan diagram transisi
S→ɛ
finite state automata
 Berbeda dengan kasus gambar sebelumnya
D. Jenis-Jenis Finite State Automata
dimana state akhir q4 tidak memiliki transisi
Ada dua jenis finite state automata, yaitu:
keluar.
Maka diperoleh:
 Deterministic Finite Automata (DFA)
V = {S,A,B,C,D}
Merupakan suatu state yang pada state
P ={ S → aA | bB | ɛ, A → BC, B → bD, C→
berikutnya mempunyai simbol masukan yang
aS, D → bS }
diterima. Deterministik artinya tertentu/sudah
tertentu fungsi transisinya.
Yang dimana sebenarnya aturan produksi
Notasi matematis deterministic finite automata
tersebut masih dapat disederhanakan menjadi:
adalah sebagai berikut:
P ={ S → aA | bB | ɛ, A → BaS, B → bbS }
M = nama DFA
Q = himpunan keadaan DFA
Sehingga mereduksi jumlah simbol variabel yang
S = himpunan alfabet
diperlukan seperti berikut ini:
d = fungsi transisi
 q0 = keadaan awal
F = keadaan akhir
M = (Q, S, d, q0, F)
Contoh: Pengujian untuk menerima bit string dengan
banyaknya 0 genap, serta banyaknya 1 genap.
0011 : diterima
10010 : ditolak, karena banyaknya 0 ganjil
Diagram transisi-nya:
3. Kesimpulan
Gambar 6. Gambar diagram transisi deterministic finite
automata
Maka deterministic finite automatanya adalah:
Q = {q0 , q1 , q2 , q3 }
Σ = {0,1}
S = q0
F = { q0}
fungsi transisinya adalah:
Gambar 7. Gambar fungsi transisi deterministic finite
automata
δ(q0,011) = δ(q2,11) = δ(q3,1) = q2 → Ditolak.
δ(q0,1010) = δ(q1,010) = δ(q3,10) = δ(q2,0) = q0 →
Diterima.
 Non-Deterministic Finite Automata (NFA)
Merupakan suatu state yang ada 0, 1 atau lebih
state yang dimana untuk state berikutnya
memiliki simbol masukan yang diterima.
Ciri-ciri non-deterministic finite automata
sebagai berikut:
o Merupakan otomata berhingga yang
tidak pasti untuk setiap pasangan state
inputnya, yang dimana bisa memiliki 0
(nol) atau lebih pilihan untuk state
berikutnya.
o Untuk setiap state tidak selalu bernilai
tepat, karena ada satu state berikutnya
untuk setiap simbol input yang ada.
o Dari suatu state bisa terdapat 0,1 atau
lebih busur keluar (transisi) berlabel
simbol input yang sama.
o Untuk NFA harus dicoba semua
kemungkinan yang ada sampai
terdapat satu yang mencapai state
akhir.
o Suatu string x dinyatakan diterima
oleh bahasa NFA apabila, M= (Q, _, d,
S, F) bila {x | d (S,x) memuat sebuah
state di dalam F}
 Kompilator (compiler) adalah sebuah program
yang membaca suatu program yang ditulis
dalam suatu bahasa sumber (source language)
dan menterjemahkannya ke dalam suatu bahasa
sasaran (target language).
 Tata bahasa (grammar) adalah merupakan
sekumpulan dari himpunan variabel-variabel,
simbol-simbol terminal, simbol non-terminal,
simbol awal yang dibatasi oleh aturan-aturan
produksi. Tata Bahasa (grammar) itu sendiri
didefinisikan dengan empat (4) tupel G = ({V,
T, P, S})
dimana :
V = Himpunan simbol variabel / non terminal
T = Himpunan simbol terminal
P = Kumpulan aturan produksi
S = Simbol awal
 Aturan produksi adalah pusat dari tata bahasa
yang menspesifikasikan bagaimana suatu tata
bahasa melakukan transformasi suatu string ke
suatu bentuk lainnya.
 Finite state automata adalah mesin abstrak
berupa sistem model matematika dengan
masukan dan keluaran diskrit yang dapat
mengenali bahasa paling sederhana (bahasa
reguler) dan dapat diimplementasikan secara
nyata.
 Finite State Automata merupakan tool yang
sangat berguna dalam perancangan lexical
analyzer, yaitu bagian dari kompilator yang
mengelompokkan karakter-karakter ke dalam
token, yang berupa unit terkecil seperti nama,
variabel dan keyword yang dimana dalam
sistem penulisan, kompilator secara otomatis
akan mentransformasikan ke dalam finite state
automata dan dipakai juga dalam text editor,
pattern matching, sejumlah pemrosesan teks,
dan program file-searching, dan sebagai juga
konsep matematis untuk aplikasi lain yang
berhubungan dengan logika.
 Kedua jenis finite state automata tersebut
mampu mengenali himpunan reguler secara
presisi, dengan demikian kedua jenis finite state
automata itu dapat mengenali string-string
 yang ditunjukkan dengan ekspresi reguler pada tahun 2010. Saat ini menjabat sebagai Lektor dan
secara tepat. menjadi Dosen di Universitas Nasional Jakarta.
 Deterministic finite automata dapat menuntun
recognizer (pengenal) lebih cepat dibanding
non-deterministic finite automata. Namun
demikian, deterministic finite automata
berukuran lebih besar dibanding non-
deterministic finite automata yang ekuivalen
dengannya. Kemudian, Lebih mudah
membangun non-deterministic finite automata
dibanding deterministic finite automata untuk
suatu bahasa, namun juga lebih mudah
mengimplementasikan deterministic finite
automata dibanding non-deterministic finite
automata.

Daftar Pustaka
[1] Sitinjak, Kiki. 2012. Konsep & Notasi Bahasa. {Online}. Tersedia:
https://kikisitinjak.files.wordpress.com/2013/11/03_tekkom_-
_konsep-dan-notasi-bahasa.pdf. 08 Desember 2019.
[2] Soetanto, Hari. 2004. Teknik Kompilasi. {Online}. Tersedia:
http://febianto.staff.gunadarma.ac.id/Downloads/files/30756/buku
_teknik+kompilasi.pdf. 08 Desember 2019.
[3] Sari Tobing, Fetri. 2018. PENGANTAR TEKNIK KOMPILASI.
{Online}. Tersedia: https://slideplayer.info/slide/12630602/. 09
Desember 2019.
[4] Liverpudlian, Sidik. 2015. ATURAN PRODUKSI. {Online}.
Tersedia: https://slideplayer.info/slide/3659294/. 09 Desember
2019.
[5] El Said, Fairuz. 2011. Teori Bahasa dan Otomata (TBO).
{Online}. Tersedia:
https://fairuzelsaid.wordpress.com/2011/03/24/teori-bahasa-dan-
otomata-tbo-pendahuluan/. 06 Januari 2020.
[6] Rahmad, Reza. 2013. Aturan Produksi. {Online}. Tersedia:
https://www.scribd.com/doc/249226613/Aturan-Produksi. 06
Januari 2020.
[7] Lesmana, Hendra. 2018. ATURAN PRODUKSI UNTUK SUATU
FSA. {Online}. Tersedia: https://slideplayer.info/slide/13027888/.
06 Januari 2020.
[8] Faradilla, Kiki. 2015. Aturan Produksi Untuk Suatu Finite State
Automata. {Online}. Tersedia:
https://kikifaradilla.wordpress.com/2015/03/19/aturan-produksi-
untuk-suatu-finite-state-automata/. 06 Januari 2020.
[9] Cahyaning Tyas, Rizqia. 2012. MODUL TEORI BAHASA DAN
AUTOMATA. {Online}. Tersedia:
https://www.academia.edu/31597367/MODUL_TEORI_BAHASA
_DAN_AUTOMATA. 06 Januari 2020.
[10] Novianti, Mia. 2015. KONSEP dan NOTASI BAHASA. {Online}.
Tersedia: https://slideplayer.info/slide/2380405/. 06 Januari 2020.
[11] Simaremare, Riska. 2013. Finite State Automata. {Online}.
Tersedia:
https://riskasimaremare.wordpress.com/2013/04/23/finite-state-
automata/. 06 Januari 2020.

Biodata Penulis

Lintang Bagas Adrianto, Dilahirkan di jakarta pada 22

Mei 1999. Sekarang ini berumur 20 tahun dan bertempat
tinggal di daerah Ciracas, Jakarta Timur, DKI Jakarta.
Saat ini sedang menjalani kuliah semester 5 di
Universitas Nasional Jakarta.
Rini Nuraini, S.T ., M.Kom. ., memperoleh gelar
Sarjana Teknik (S.T), pada 20 November tahun 1997 di
Universitas Yarsi. Memperoleh gelar Magister Ilmu
Komputer (M.Kom.) di STMIK Nusa Mandiri Jakarta,