PERTEMUAN 1 1. Pendahuluan 1.1 Kedudukan teori bahasa dan Automata pada Ilmu Komputer 1.2 Konsep Bahasa dan Automata 1.3 Hirarki Chomsky
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
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.
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
Batasan Aturan Produksi adalah sebuah symbol variable. maksimal memiliki sebuah symbol variable yang bila ada terletak di posisi paling kanan.
berupa sebuah symbol variable.
||||
Mesin Turing