TEORI BAHASA & OTOMATA

CARA KERJA MESIN OTOMATA PADA SETIAP

TATA BAHASA CHOMSKY
Dosen Pengampu : Fitri Nuraeni, S.Kom., M.Kom

Disusun Oleh :
Gea Davids Khalik
2206013

TEKNIK INFORMATIKA
INSTITUT TEKNOLOGI GARUT
2023
 PEMBAHASAN
Mesin otomata adalah model matematis yang digunakan dalam ilmu komputer
dan linguistik untuk menggambarkan dan menganalisis bahasa formal. Mesin
otomata berfungsi berdasarkan aturan-aturan yang telah ditentukan dan
menerapkan konsep tata bahasa Chomsky untuk mengklasifikasikan bahasa
berdasarkan tingkat kompleksitasnya. Terdapat empat tata bahasa Chomsky yang
penting dalam konteks ini, yaitu:

1 Tata Bahasa Chomsky Tipe 3 (Reguler):

• Mesin otomata yang mewakili tata bahasa Chomsky tipe 3 adalah
mesin otomata berhingga atau mesin otomata deterministik berhingga.
Salah satu contoh yang paling umum adalah automaton berhingga
(finite automaton) atau mesin otomata akhir (finite state machine).
• Mesin otomata tipe ini mampu mengenali bahasa reguler, yang dapat
dijelaskan oleh ekspresi reguler (regular expression).
• Cara kerja mesin otomata tipe ini terdiri dari sejumlah keadaan (state)
yang saling terhubung melalui transisi berdasarkan input yang
diberikan. Pada setiap transisi, mesin otomata beralih dari satu keadaan
ke keadaan lainnya berdasarkan simbol input yang diterima.
• Mesin otomata tipe ini efisien dalam mengenali bahasa-bahasa dengan
struktur yang sederhana seperti bahasa berbasis aturan (regular
languages).

2 Tata Bahasa Chomsky Tipe 2 (Konteks Bebas):

• Mesin otomata yang mewakili tata bahasa Chomsky tipe 2 adalah
mesin otomata tumpukan (pushdown automaton). Grammar yang
digunakan untuk menggambarkan bahasa tipe ini disebut sebagai
grammar konteks bebas (context-free grammar).
• Mesin otomata tipe ini mampu mengenali bahasa-bahasa konteks
bebas, yang mencakup banyak bahasa alami dan bahasa pemrograman.
• Cara kerja mesin otomata tipe ini melibatkan penggunaan tumpukan
(stack) untuk menyimpan informasi sementara. Pada setiap langkah,

1
 mesin otomata dapat membaca simbol dari input, mengambil simbol
dari tumpukan, atau menambahkan simbol ke tumpukan sesuai dengan
aturan yang ditentukan oleh grammar.

3 Tata Bahasa Chomsky Tipe 1 (Konteks Sensitive):

• Mesin otomata yang mewakili tata bahasa Chomsky tipe 1 adalah
mesin otomata linear terbatas (linear bounded automaton).
• Mesin otomata tipe ini mampu mengenali bahasa-bahasa konteks
sensitif, yang lebih kuat daripada bahasa konteks bebas.
• Cara kerja mesin otomata tipe ini mirip dengan mesin otomata
tumpukan, tetapi dalam hal ini, tumpukan memiliki batasan dalam
ukuran sehingga mesin otomata tidak dapat melebihi batasan ini.

4 Tata Bahasa Chomsky Tipe 0 (Turing):

• Mesin otomata yang mewakili tata bahasa Chomsky tipe 0 adalah
mesin Turing, yang merupakan mesin abstrak paling kuat dalam teori
komputasi.
• Mesin Turing mampu mengenali bahasa-bahasa rekursif, yang
mencakup semua bahasa yang dapat dihitung oleh komputer
konvensional.
• Mesin Turing terdiri dari pita tak terbatas dengan kepala pembaca yang
dapat bergerak, serta tabel transisi yang menggambarkan aturan
perilaku mesin terhadap simbol-simbol di pita.

Dalam setiap tata bahasa Chomsky, mesin otomata memiliki tingkat

kekuatan yang berbeda dalam hal pengenalan bahasa. Semakin tinggi tipe tata
bahasa Chomsky, semakin kuat mesin otomata yang diperlukan untuk mengenali
bahasa tersebut. Mesin otomata adalah konsep fundamental dalam teori bahasa
formal dan komputasi, yang memiliki aplikasi luas dalam pemrograman,
pengenalan pola, pemrosesan bahasa alami, dan bidang-bidang lainnya.