AUTOMATA DAN BAHASA FORMAL

PERTEMUAN 1 1. Pendahuluan 1.1 Kedudukan teori bahasa dan Automata pada Ilmu Komputer 1.2 Konsep Bahasa dan Automata 1.3 Hirarki Chomsky

Kedudukan teori bahasa dan automata pada ilmu komputer

Ilmu komputer memiliki dua komponen utama: 1. Model dan gagasan mendasar mengenai komputer, contoh : teori bahasa dan automata. 2. Teknik rekayasa untuk perancangan sistem komputer, meliputi perangkat keras dan perangkat lunak, khususnya penerapan rancangan dan teori.

Finite State Automata merupakan tool yang sangat

berguna dalam perancangan lexical analyzer, yaitu bagian dari kompilator yang mengelompokkan karakter-karakter kedalam token, yang berupa unit terkecil seperti nama, variabel, dan keyword.

Dalam sistem penulisan kompilator secara otomatis akan mentransformasikan ekspresi reguler ke dalam

finite state automata

untuk dipakai sebagai penganalisis leksikal.

Finite State Automata dan

Ekspresi Reguler dipakai pula dalam text editor, pattern-matching, sejumlah pemrosesan teks, dan program file searching, dan sebagai konsep matematis untuk aplikasi di disiplin lain seperti logika.

Konsep Bahasa dan Automata

Sebuah simbol adalah suatu entitas abstrak yang tidak kita definisikan secara formal, contoh : huruf dan digit. String (kata/untai) adalah suatu deretan berhingga dari simbol-simbol. contoh : abcd Panjang string adalah jumlah simbol yang membentuk string tersebut. contoh : abcd panjangnya 4 asdfgh panjangnya 6

 Sebuah string kosong, biasanya dinyatakan dengan , didefinisikan panjangnya = 0 atau || = 0 Suatu alphabet adalah himpunan berhingga dari simbol-simbol. Sebuah bahasa adalah himpunan string-string dari simbol-simbol untuk suatu alphabet.

 Automata adalah suatu bentuk yang memiliki fungsi-fungsi dari komputer digital. Menerima input, menghasilkan output, bisa memiliki penyimpan sementara, dan mampu membuat keputusan dalam mentransformasikan input ke output. Sebuah bahasa formal adalah suatu abstraksi terdiri dari himpunan simbolsimbol dan aturan-aturan yang mana simbol-simbol tersebut bisa dikombinasikan kedalam entitas yang disebut kalimat.

 Automata merupakan suatu sistem yang terdiri atas sejumlah state, dimana state menyatakan informasi mengenai input yang lalu, dan dapat pula dianggap sebagai bahasa yang harus dikenali oleh mesin. Selanjutnya, mesin automata membuat keputusan yang mengindikasikan apakah input itu diterima atau tidak. Sehingga mesin automata dapat dipakai untuk menghasilkan bahasa yang aturannya ditentukan oleh aturan bahasa itu.

Hirarki Chomsky
Tata bahasa (grammar) didefinisikan secara formal sebagai kumpulan dari himpunan- himpunan variabel, simbolsimbol terminal, simbol awal, yang dibatasi oleh aturan-aturan produksi. Tahun 1959 Noam Chomsky melakukan penggolongan tingkatan bahasa menjadi empat, yang disebut dengan Hirarki Chomsky

Tabel penggolongan Hirarki Chomsky

Bahasa Regular / Tipe 3 Mesin Automata Finite State Automata (FSA) meliputi Deterministic Finite Automata (DFA) dan Nondeterministic Finite Automata (NFA)
Push Down Automata (PDA)

Batasan Aturan Produksi adalah sebuah symbol variable. maksimal memiliki sebuah symbol variable yang bila ada terletak di posisi paling kanan.
berupa sebuah symbol variable.

Bebas Konteks / Context Free / Tipe 2

Context Sensitive / Tipe 1 Unrestricted / Phase Structure / Natural language / Tipe 0

Linier Bounded Automata

||||

Mesin Turing

Tidak ada batasan