AUTOMATA
TEORI BAHASA
Automata adalah suatu system yang terdiri atas sejumlah state,dimana state
menyatakan informasi mengenai input.Automata juga dianggap sebagai mesin
otomatis( bukan mesin fisik ) yang merupakan suatu model matematika dari
suatu system yang menerima input dan menghasilkan output,serta terdiri dari
sejumlah state.
Hubungan anatara Bahasa dan automata adalah Bahasa dijadikan sebagai input oleh
suatu mesin automata,selanjutnya mesin automata akan membuat keputusan yang
mengindikasikan apakah input itu diterima atau tidak
Contoh
Pada gambar diatas,bila mesin mendapat string input berikut:
• ada : diterima
• adu : diterima
• Add : ditolak
Sebuah string input diterima bila mencapai state akhir yang disana di gambarkan
dengan lingkaran ganda.Mesin itu memiliki 6 state {q 0,q1,q2,q3,q4,q5}, yang mana
adalah himpunan state yang ada pada mesin itu.State awal dari mesin adalah q 0.
• Tipe-0
tata bahasa (grammar terbatas) mencangkup semua tata bahasa formal,mereka
menghasilkan persis semua bahasa yang bias dikenali oleh mesin Turing.Bahasa ini juga
biasanya disebut dengan rekrusif enumerable.
• Tipe-1
tata bahasa (grammar context sensitive) menghasilkan bahasa konteks-sensitive,tata bahasa
ini sama persis dengan semua bahasa yang bias dikenali oleh robot yang di batasi oleh
linear.
• Tipe-2
tata bahasa (bebas konteks) menghasilkan bahasa bebas konteks,bahasa ini persis dengan
semua bahasa yang dikenali oleh nondeterministic otomat pushdown.Bahasa ini merupakan
dasar toritis untuk sintaks bahasa pemograman.
PARSING
Adalah suatu graph terhubung tidak sirkuler,yang memiliki satu simpul yang
disebut akar dan dari situ memiliki lintasan ke steiap simpul lain.
Pohon penurunan berguna untuk menggambarkan bagaimana memperoleh suatu
string dengan cara menurunkan symbol-symbol variable menjadi symbol
terminal