Teori Bahasa dan Automata

Pendahuluan
Oleh : Andi Muhammad Resky
 Pengertian Bahasa
• Definisi : Bahasa dalam konteks teori bahasa dan automata merujuk pada himpunan string atau
kalimat yang dapat dihasilkan atau diterima oleh suatu sistem atau mesin.

• Komponen Utama :

1. Alphabet (Abjad): Himpunan simbol atau karakter yang digunakan untuk membentuk string
dalam bahasa.

2. String: Urutan karakter dari alphabet yang membentuk kalimat atau kata dalam bahasa.

• Contoh : Jika alphabetnya adalah {0, 1}, maka bahasa yang dapat dihasilkan mungkin berisi string-

string seperti "0110" atau "1001".

 Pengertian Automata
• Definisi: Automata merujuk pada model matematis yang digunakan untuk menggambarkan

atau mensimulasikan perilaku sistem yang dapat menerima sejumlah input dan menghasilkan

output sesuai dengan aturan tertentu.

• Jenis-jenis Automata :

1. Finite Automaton (FA): Automaton dengan jumlah state yang terbatas.

2. Pushdown Automaton (PDA): Automaton dengan tambahan tumpukan (stack) untuk

menyimpan informasi.

3. Turing Machine (TM): Automaton yang dapat melakukan komputasi universal,

termasuk mengakses dan memanipulasi tape tak terbatas.

• Fungsi Utama :

• Pengenalan Bahasa: Menerima atau menolak string berdasarkan aturan tertentu.

 Bahasa Formal

• Definisi: Bahasa formal adalah himpunan string atau kalimat yang dibentuk oleh aturan tata bahasa
yang ketat dan dapat dijelaskan secara matematis.

• Karakteristik Utama :

1. Struktur Formal: Bahasa formal memiliki struktur dan aturan sintaksis yang ketat dan dapat
dijelaskan dengan jelas.

2. Digunakan dalam Teori Bahasa dan Automata: Bahasa formal menjadi fokus dalam studi teori
bahasa dan automata untuk memahami komputabilitas dan kompleksitas komputasi.

3. Contoh: Bahasa pemrograman, bahasa yang dihasilkan oleh mesin Turing, dan bahasa yang
dapat dijelaskan dengan gramatika formal.
Bahasa Non-Formal
• Definisi: Bahasa non-formal adalah bahasa yang tidak memiliki aturan tata bahasa yang

ketat atau tidak dapat dijelaskan dengan jelas menggunakan formalisme matematis.

• Karakteristik Utama :

1. Ketidakjelasan Struktur: Bahasa non-formal mungkin memiliki struktur yang

tidak terdefinisi dengan baik atau aturan sintaksis yang tidak ketat.

2. Digunakan dalam Komunikasi Sehari-hari: Banyak bahasa yang digunakan

dalam komunikasi sehari-hari, seperti bahasa natural, sering kali bersifat non-
formal.

3. Tidak Dapat Diuraikan Secara Matematis: Tidak mudah diuraikan atau

dimodelkan dengan tepat menggunakan formalisme matematis.

Automata
• Definisi Automata :

1. Pengertian: Automata adalah model matematis yang digunakan untuk

merepresentasikan atau mensimulasikan perilaku sistem yang menerima
sejumlah input dan menghasilkan output berdasarkan aturan tertentu.

2. Fungsi Utama: Automata digunakan untuk memodelkan mesin atau

sistem komputasi dan membantu memahami kelas bahasa
komputasional.
 Jenis-jenis Automata
Finite Automaton (FA) :

o Definisi: Finite Automaton (FA) adalah jenis automata yang memiliki jumlah state yang

terbatas.

o Struktur Utama:

1. State (Keadaan): Representasi keadaan atau kondisi sistem pada suatu waktu.

2. Alphabet: Himpunan simbol atau karakter yang dapat diterima oleh automaton.

3. Transition Function: Fungsi yang menentukan perpindahan dari satu state ke state

lainnya berdasarkan input.

4. Initial State: State awal di mana automaton memulai pengolahan.

5. Accepting State: State di mana automaton menerima input dan menghasilkan output

yang dianggap valid.

 Jenis-jenis Automata
Pushdown Automaton (PDA) :

o Definisi: Pushdown Automaton (PDA) adalah jenis automata yang memiliki tumpukan

(stack) sebagai tambahan untuk penyimpanan informasi.

o Struktur Tambahan:

1. Stack (Tumpukan): Digunakan untuk menyimpan dan mengakses informasi,

memungkinkan automaton untuk mengenali bahasa yang tidak dapat dikenali oleh

Finite Automaton.

2. Transition Function dengan Tumpukan: Menentukan perpindahan state dan operasi

pada tumpukan berdasarkan input.

 Jenis-jenis Automata
Turing Machine (TM) :

o Definisi: Turing Machine (TM) adalah jenis automata yang memiliki tape tak terbatas
sebagai media penyimpanan dan manipulasi informasi.

o Komponen Utama :

1. Tape: Tape tak terbatas yang terbagi menjadi sel-sel, masing-masing dapat berisi
simbol dari alphabet.

2. Head: Komponen yang membaca atau menulis simbol pada tape dan dapat berpindah
ke kiri atau kanan.

3. Transition Function pada TM: Menentukan perpindahan state, operasi pada tape, dan

pergerakan head berdasarkan simbol yang dibaca.

4. Accepting dan Rejecting State: Menentukan kriteria penerimaan atau penolakan suatu

input.
Tugas
1. Jelaskan perbedaan antara "Bahasa Formal" dan "Bahasa Non-
Formal". Mengapa bahasa formal lebih sering digunakan dalam
konteks komputasi ?

2. Pilih salah satu jenis automata (FA, PDA, atau TM) dan jelaskan
prinsip kerjanya. Bagaimana automata ini dapat mengenali suatu
Bahasa ?