Puji syukur kehadirat ALLAH subhanahu wata’ala yang telah melimpah kepada kita
nikmat iman, islam, serta nikmat kesempatan sehingga kami dapat menyelesaikan makalah “Teori
Bahasa dan Otomata” ini. Sholawat serta salam semoga selalu tercurahkan kepada Baginda Nabi
Muhammad Shalallahu alaihi wasallam yang telah berjuang menyebarkan islam sehingga kita
dapat merasakan nikmat islam. Penulis sangat bersyukur dan berterima kasih kepada beberapa
pihak sehingga Makalah “Teori Bahasa dan Otomata” ini dapat selesai tepat waktu.
Demikian yang dapat kami sampaikan, semoga makalah ini dapat bermanfaat bagi
pembaca kritik dan sara membangun sangat diperlukan agar penulis menjadi lebih baik lagi
kedepannya.
SAMSURYA
1|Te o ri B ah as a d an Otom a ta
DAFTAR ISI
2|Te o ri B ah as a d an Otom a ta
BAB I
PENDAHULUAN
1. Latar Belakang
Komputer telah mengikuti sejumlah prosedur sistematis atau algoritma yang dapat
di aplikasikan untuk serangkaian input (string) yang menyatakan integer dan menghasilkan
jawaban setelah sejumlah berhingga langkah.
Teori otomata adalah studi tentang peralatan atau mesin komputasi abstrak, yang
dapat didefinisikan secara sistematis. Tahun 1930-an Alan Turing telah mempelajari mesin
abstrak yang memiliki kemampuan seperti computer sekarang. Mesin abstrak merupakan
model teoritis dari perangkat keras atau perangkat lunak yang di gunakan dalam teori
otomata.
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
.
2. Rumusan Masalah
3|Te o ri B ah as a d an Otom a ta
BAB II
PEMBAHASAN
Otomata bermula sebelum komputer ada pada teori di bidang sistem logika
matematika atau formal, ilmuwan David Hilbert telah mencoba menciptakan algoritma
umum untuk pembuktian seluruh persoalan matematika secara otomatis yaitu mampu
menentukan salah benarnya sembarang posisi matematika.
Tahun 1931, KurtGdel mempublikasikan teori ketidaklengkapan diman
membuktikan prosedur/algoritma yang dikehendaki David Hilbert tersebut tidak akan
pernah ada. KurtGdel membangun rumus di kalkulus predikat yang diterapkan pada
bilangan bulat yang memiliki pertanyaan – pertanyaan definisi yang tidak dapat dibuktikan
maupun dibantah di dalam sistem logika yang mungkin dibangun manusia.
Formalisasi argument teorema ketidaklengkapan KurtGdel ini berikut penjelasan
dan formalisasi selanjutnya dari prosedur efektif secara intuisi merupakan salah satu
pencapaian intelektual terbesar abad 20, yaitu abad dimana formalisasi berkembang
semarak.
Pengembangan teori otomata, komputasi dan teori bahasa berikutnya difasilitasi
perkembangan bidang psyco-linguistic. Berupaya menjawab pertanyaan – pertanyaan
berikut :
1. Apakah bahasa secara umum
2. Bagaimana manusia mengembangkan bahasa
3. Bagaimana manusia memahami bahasa
Perbedaan antara bahasa computer dan bahasa manusia adalah sampai sekarang
belum diketahuinya bagaimana caranya manusia mengartikan bahasa, sementara dengan
pasti dapat mengartikan bahasa pada computer. Noam Chomsky mengemukakan
4|Te o ri B ah as a d an Otom a ta
perangkat format disebut grammar untuk memodelkan properti-properti bahasa. Grammar
berisi sejumlah aturan serta menspesifikasikan bahasa tertentu. Bahasa berisi semua string
yang dapat dihasilkan menggunakan aturan-aturan grammar.
Turing machine seperti komputer modern saat ini dapat mengolah (simbol-simbol
di tape) dan mengahasilkan keluaran (simbol-simbol yang berada di tapenya setelah
berakhirnya sebarisan pergerakkan) merupakan karya teoritis dari Alan Turing.
2. Pengertian
a. Teori Bahasa
b. Automata
Otomata (Automata) adalah suatu sistem yang terdiri atas sejumlah berhingga state
yang mempelajari tentang mesin abstrak yang menerima input dan mengeluarkan output
dalam bentuk diskret (satu per satu). Dimana state adalah suatu kondisi yang menyatakan
informasi mengenai input yang lalu sedangkan input pada otomata dianggap sebagai batas
yang harus dikenali oleh mesin.
5|Te o ri B ah as a d an Otom a ta
c. Bahasa dan Automata
Teori bahasa dan automata merupakan salah satu komponen ilmu informatika, teori
ini merupakan ide dan model fundamental yang mendasari sebuah system komputasi, teori
ini juga bisa disebut sebagai sebuah teknik rekayasa untuk perancangan system komputasi.
d. Komputasi
a. Biologi
b. Rangkaian Elekronika
c. Matematika
a. Finite automata(FA)
Sering juga disebut dengan Finite State Automata (FSA). Terdiri dari Deterministic
Finite Automata (DFA) dan Non Deterministik Finite Automata (NDFA). Teori dasar
dari FA sangat umum yaitu system pada saat berada di salahsatu state dari sejumlah state
bergerak diantara state-state secara dapat diproduksi yang bergantung pada masukan ke
system. Salah satu penerapannya adalah kompilasi/translasi bahasa pemograman tingkat
tinggi menjadi bahasa mesin yang ekivalen. Finite automata merupakan jenis otomata
yang tidak memiliki memori sementara, FA adalah kelas mesin dengan kemampuan
paling terbatas (Model komputasional yang paling sederhana). FA Digunakan pada
aplikasi yang membutuhkan teknik pengenalan pola. Beberapa contoh penerapan Finite
automata (FA) : pada aplikasi kompilator, bagian leksikal harus bisa mengenali string
mana yang merepresentasikan variable, nama, konstanta numerik, dan reserved word.
6|Te o ri B ah as a d an Otom a ta
b. Pushdown Automata(PA)
c. Turing Machine(TM(
7|Te o ri B ah as a d an Otom a ta
Contoh String input X256 :
Pertama kali, state akan masuk ke q0 secara otomatis. Kemudian membaca alphabet “X”
dan state berubah ke q2 membaca alphabet “2”, “5”, dan “6” berturut-turut state tetap di
q2
Contoh Soal :
Buat diagram transisi untuk mengenali penulisan bilangan Real (mesin float). Masukkan
string berikut :
q 123459 (integer)
q 1234567,987 (real)
q 1234E (tidak valid)
q 1234E+ (tidak valid)
q 1234E56 (real)
q 1234E+56 (real)
q 1234E-56 (real)
8|Te o ri B ah as a d an Otom a ta
Jawab:
b. Tabel Transisi
Tabel transisi : tabel dua dimensi dimana nilai menggambarkan summary dari
diagram transisi. Index pada baris adalah semua state dan index pada kolom meyatakan
symbol yang mungkin muncul. Penambahan kolom ekstra dengan label EOS yang berisi
accept or error.
9|Te o ri B ah as a d an Otom a ta
c. Cara mengubah STD ke Tabel Transisi
1. Tambahkan sejumlah n baris state yang ada di STD (n menyatakan jumlah state)
2. Tambahkan sejumlah m kolom dari semua alfabet yang mungkin.
3. Tambahkan kolom EOS
4. Isi nilai di kolom EOS dengan “accept” untuk baris dimana accepted state berada
5. Isi dengan “error” untuk selainnya (di kolom EOS)
6. Untuk tiap-tiap baris, isikan nilai state berikutnya yang bersesuaian dengan alfabet.
7. isikan “error” untuk sel yang belum terisi.
Ilmu komputer memiliki dua komponen utama : pertama, model dan gagasan
mendasar mengenai komputasi, kedua, teknik rekayasa untuk perancangan sistem
komputasi, meliputi perangkat keras dan perangkat lunak, khususnya penerapan
rancangan dari teori. Teori Bahasa dan Otomata merupakan bagian pertama. Secara
teoritis ilmu komputer diawali dari sejumlah berbeda disiplin ilmu: ahli biologi
mempelajari neural network, insinyur elektro
mengembangkan switchingsebagai tool untuk mendesain hardware, matematikawan
bekerja mendasarkan logika, dan ahli bahasa menyelidiki tata bahasa untuknatural
language.
Finite automata terdiri dari sejumlah berhingga state. Dalam banyak sistem dan
komponen seperti dijelaskan di atas, sejumlah berhingga state digunakan untuk
mengingat bagian dari histori sistem. Karena hanya terdapat sejumlah berhingga state,
secara umum histori sistem secara keseluruhan tidak dapat disimpan/diingat, sehingga
sistem harus dirancang untuk mengingat apa yang penting dan melupakan apa yang tidak
penting. Context free grammer dan pushdown automatadigunakan dalam spesifikasi
bahasa komputer (pemrograman, markup, kamus data, query, perintah, script, printer).
Dalam parser, bagian kompilator yang memriksa kebenaran sintaks program.
Pemahamanpushdown automata sangat menyederhanakan proses parsing.
Prosesparsing yang berlangsung sangat cepat adalah berkat pemahaman mendalam teknik
parsing bebasis pada pengetahuan mengenai context free grammer.
10 | T e o r i B a h a s a d a n O t o m a t a
Mesin Turing merupakan pemodelan mesin komputasi yang ampuh. Berdarkan
mesin Turing dapat diidentifikasi ketidakmungkinan penulisan program. Bila dinyatakan
tidak dapat dikomputasi mesin Turing berarti persoalan tidak mungkin dapat diselesaikan
secara komputasi dengan mesin komputasi apapun. Namun bila dikatakan persoalan dapat
dikomputasi mesin Turing bukan berarti terdapat algoritma penyelesaian efisien. Mesin
Turing sangat penting mengidentifikasi ketidakmungkinan komputasi sehingga kita tidak
bersusah payah berusaha memperoleh solusi 100% terhadap fungsi yang diidentifikasi
tidak mungkin dikomputasi.
1. Kecerdasan buatan
Kecerdasan Buatan adalah bidang ilmu yang mendasarkan bagaimana sebuah
komputer bisa bertindak seperti dan sebaik manusia. Dewasa ini, Penggunaan
kecerdasan buatan dibutuhkan diberbagai disiplin ilmu. Irisan antara psikologi dan
kecerdasan Buatan melahirkan area cognition and psycolinguistic. Irisan antara
teknik elektro dengan kecerdasan buatan melahirkan ilmu : pengolahan citra, teori
kendali, pengenalan pola dan robotika. Irisan ilmu manajemen dan kecerdasan
buatan menghasilkan sistem pendukung keputusan. Adanya irisan penggunaan
kecerdasan buatan diberbagai disiplin ilmu menyebabkab cukup rumitnya untuk
mengklasifikasikan lingkup bidang ilmu kecerdasan buatan, sehingga
pengklasifikasian lingkup kecerdasan buatan didasarkan pada output yang
diberikan yaitu pada aplikasi komersial.
Lingkup aplikasi kecerdasan buatan meliputi :
1. sistem pakar
2. Pengolahan bahasa alami
3. Pengenalan ucapan
4. Robotika dan sistem sensor
5. Computer vision
6. Problem solving and planning
7. Permainan
11 | T e o r i B a h a s a d a n O t o m a t a
Daftar Pustaka
a. Sumber internet
1. Http//www.globalkomputer.com
2. http://eecchhoo.wordpress.com
3. http://indoprogrammer.blogspot.com
b. sumber buku
B. Hariyanto, Teori Bahasa, Otomata, dan Komputasi serta terapannya, Informatika
Bandung
12 | T e o r i B a h a s a d a n O t o m a t a