TUGAS I TEORI BAHASA DAN AUTOMATA

Disusun oleh: Yudika Ardi (G1A008025)

Dosen : Desi Andreswari S.T, M.Cs

PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS BENGKULU 2012

a. Kedudukan Teori Bahasa dan Automata dalam Ilmu Komputer Teori bahasa dan otomata merupakan bagian dari teori komputasi pada ilmu komputer. Beberapa teori komputasi datang dari bahasa dan rekayasa sistem, terutama yang berbasiskan matematika. Dalam hal ini penekanannya adalah pada pemecahan masalah. Melalui contoh- contoh ilustrasi-masalah dapat dikenali latar belakang dari suatu konsep dan hubungannya dengan definis dan teorema yang ada. Secara teoritis ilmu komputer diawali dari sejumlah berbeda disiplin ilmu; ahli biologi mempelajari neural network, insinyur elektro mengembangkan switching sebagai tools untuk mendesain perangkat keras, matematikawan bekerja berdasarkan logika, dan ahli bahasa menyelidiki tata bahasa untuk bahasa alami (natural language). Finite state automata dan ekspresi reguler awal dikembangkan berdasarkan pemikiran neural network dan switching circuit. Finite state automata merupakan tools yang sangat berguna dalam perancangan suatu penganalisa leksikal (lexical analyzer) yang berguna dalam mengelompokkan karakter-karakter kedalam token- token sebagai unit terkecil dalam mengenali pola. Teori bahasa merupakan suatu gagasan mendasar dalam komputasi yang menjadi tools untuk mengenali persoalan. Gagasan dasar tersebut dimodel dengan suatu simbolsimbol yang merepresentasikan juga suatu fungsi dari komputer digital.Teori bahasa pada awalnya lebih diarahkan untuk mengenali suatu tata bahasa dan dapat mendefinisikan spesifikasi formal dari tata bahasa tersebut. Sehingga pada akhirnya dapat didefinisikan langkah-langkah algoritmik dalam pemrosesan tata bahasa. Teori memberikan konsep dan prinsip yang menolong untuk memahami perilaku dari suatu persoalan yang berkorelasi dengan teori tersebut. Bidang ilmu komputer meliputi topik yang luas, dari perancangan mesin sampai pemrograman. Disamping perbedaan yang ada, terdapat keseragaman prinsip-prinsip umum yang dipakai. Untuk mempelajari prinsip-prinsip dasar tersebut, kita mengkonstruksi suatu mesin otomata sebagai model abstrak dari komputer dan komputasi. Model ini memiliki fungsifungsi yang penting dan umum pada perangkat keras dan perangkat lunak komputer. Meskipun model tersebut sederhana untuk diterapkan langsung pada dunia nyata, keuntungan yang diperoleh dari mempelajarinya adalah memberikan landasan untuk basis dari suatu pengembangan algoritma. Pendekatan ini, juga diterapkan pada ilmu sains lainnya.

Sumber : http://www.google.co.id/url?sa=t&rct=j&q=kedudukan%20teori%20bahasa%20dan%20au tomata%20pada%20ilmu%20komputer&source=web&cd=6&sqi=2&ved=0CEAQFjAF& url=http%3A%2F%2Fpksm.mercubuana.ac.id%2Fnew%2Felearning%2Ffiles_modul%2F 15013-1272974657362.doc&ei=txRLT5CwFoqnrAe4_YXGDw&usg=AFQjCNFY9JXunwsQMX J1eYaj97XwQeJA_g

b. Konsep Bahasa Dan Automata Teori Otomata dan bahasa formal, berkaitan dalam hal pembangkitan kalimat/generation yaitu, menghasilkan semua kalimat dalam bahasa L berdasarkan aturan yang dimilikinya. Dan pengenalan kalimat / recognition yaitu, menentukan suatu string (kalimat) termasuk sebagai salah satu anggota himpunan L. Teori bahasa membicarakan bahasa formal (formal language), terutama untuk kepentingan perancangan kompilator (compiler) dan pemroses naskah (text processor). Bahasa formal adalah kumpulan kalimat. Semua kalimat dalam sebuah bahasa dibangkitkan oleh sebuah tata bahasa (grammar) yang sama. Sebuah bahasa formal bisa dibangkitkan oleh dua atau lebih tata bahasa

berbeda. Dikatakan bahasa formal karena grammar diciptakan mendahului pembangkitan setiap kalimatnya. Bahasa manusia bersifat sebaliknya; grammar diciptakan untuk meresmikan kata-kata yang hidup di masyarakat. Dalam pembicaraan selanjutnya bahasa formal akan disebut bahasa saja.

Bahasa Bahasa adalah himpunan kalimat-kalimat. Anggota bahasa bisa tak hingga kalimat. Simbol-simbol berikut adalah simbol terminal : a. huruf kecil awal alfabet, misalnya : a, b, c b. simbol operator, misalnya : +, , dan c. simbol tanda baca, misalnya : (, ), dan ; d. string yang tercetak tebal, misalnya : if, then, dan else.

Simbol-simbol berikut adalah simbol non terminal : a. huruf besar awal alfabet, misalnya : A, B, C b. huruf S sebagai simbol awal c. string yang tercetak miring, misalnya : expr dan stmt.

Huruf besar akhir alfabet melambangkan simbol terminal atau non terminal, misalnya : X, Y, Z. Huruf kecil akhir alfabet melambangkan string yang tersusun atas simbol-simbol terminal, misalnya : x, y, z. Huruf yunani melambangkan string yang tersusun atas simbol-simbol terminal atau simbol-simbol non terminal atau campuran keduanya, misalnya : a, b, dan g. Sebuah produksi dilambangkan sebagai a b, artinya : dalam sebuah derivasi dapat dilakukan penggantian simbol a dengan simbol b. Simbol a dalam produksi berbentuk a b disebut ruas kiri produksi sedangkan simbol b disebut ruas kanan produksi. Automata Arti menurut American Heritage Dictionary: 1. robot 2. one that behaves in an automatic or mechanical fashion Arti dalam dunia matematika Berkaitan dengan teori mesin abstrak, yaitu mesin sekuensial yang menerima input, dan mengeluarkan output, dalam bentuk diskrit.

Contoh : Mesin Jaja / vending machine Kunci kombinasi Parser/compiler Jika disimpulkan maka automata merupakan mesin abstrak yang dapat mengenali (recognize), menerima (accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu. Automata terdiri atas sejumlah berhingga state, dimana setiap state menyatakan informasi tentang input sebelumnya, dan dapat dianggap sebagai memori mesin. Contoh:

Jika mesin mendapat string : a. adamaka diterima b. adumaka diterima c. addmaka ditolak Aturan: input string diterima jika dan hanya jika mencapai state akhir yang disimbolkan dengan lingkaran ganda.

Keterangan: Mesin diatas memiliki 6 state {q1,q2,q3,q4,q5,q6}. Mesin memiliki state awal q1 Mesin memiliki state akhir {q4,q6} Mesin memiliki himpunan input contohnya : {a,d,d}

Sumber : http://lecturer.ukdw.ac.id/anton/download/KOMPILER-Modul5.pdf http://ryn247.wordpress.com/2011/05/22/penerapan-konsep-bahasa-automata/

c. Hirarki Chomsky Teori Otomata berkaitan

erat

dgn

teori

bahasa

formal.

Ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar. Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu. Grammar G didefinisikan sebagai pasangan 4 tuple, G(Vt , Vn , S, P) : 1. Himpunan Simbol Terminal (Vt). Derivasi akan berakhir jika sentensial yang dihasilkan adalah sebuah kalimat yang tersusun atas simbol-simbol terminal. Sentesial adalah string yang tersusun atas simbol terminal atau simbol non terminal atau campuran keduanya.

Yang termasuk dalam simbol terminal diantaranya : a. Huruf kecil anggota alfabet kalimat Bahasa b. Simbol Operator (+, -, *, ^) c. Simbol tanda baca (titik dan Koma, ?, !) d. String yang dicetak tebal, seperti if, then, dan else.

2. Himpunan simbol Nonterminal (Vn) Yang termasuk dalam simbol Nonterminal : a. Huruf Besar (kapital) b. Simbol Awal/Start, misal S c. String yang dicetak miring, seperti expr. 3. Simbol Start (S), dimana simbol ini merupakan bagian dari simbol Nonterminal. 4. Himpunan Produksi (P) Bentuknya ab yang artinya ruas kiri produksi (a) menurunkan ruas kanan produksi (b).

Tahun 1959 seorang ahli bernama Noam Chomsky melakukan penggolongan tingkatan bahasa menjadi empat tipe, yaitu : Tipe 0 / Unrestricted : tidak ada batasan pada aturan produksi Abc De Tipe 1 / Context sensitive : panjang string ruas kiri harus < (lebih kecil) atau = (sama dengan) ruas kanan Ab DeF CD eF

Tipe 2 / Context Free Grammar : ruas kiri haruslah tepat satu symbol variabel, yaitu simbol non terminal B CDeFg D BcDe

Tipe 3 / Regular : ruas kanan hanya memiliki maksimal satu symbol non terminal dan diletakkan paling kanan sendiri Ae A efg A efgH CD

Sumber : http://imranzulmi.blogspot.com/2011/04/hirarki-chomsky.html http://acole2.j-artcom.org/2011/02/teori-hirarki-chomsky.html http://ririehqm.blogspot.com/2010/11/hirarki-chomsky.html