TEORI BAHASA & OTOMATA (KONSEP & NOTASI BAHASA) PERTEMUAN IX Y A N I S U G I Y A N I

Konsep dan Notasi bahasa Thn 56-59 Noam chomsky melakukan penggolongan tingkatan dalam bahasa, yaitu menjadi 4 class Penggolongan tingkatan itu disebut dengan hirarki Comsky

Konsep dan Notasi bahasa 1959 Backus memperkenalkan notasi formal baru untuk syntax bahasa yang lebih spesifik Peter Nour (1960) merevisi metode dari syntax. Sekarang dikenal dengan BNF (backus Nour Form)

Konsep dan Notasi bahasa Tata bahasa (grammar) adalah sekumpulan dari himpunan variabel-variabel, simbol-simbol terminal, simbol non-terminal, simbol awal yang dibatasi oleh aturan-aturan produksi Aturan produksi adalah pusat dari tata bahasa yang menspesifikasikan bagaimana suatu tata bahasa melakukan transformasi suatu string ke bentuk lainnya

Konsep dan Notasi bahasa Syntax : suatu aturan yang memberitahu apakah sesuatu kalimat (string) adalah valid dalam program atau tidak Semantic : suatu aturan-aturan yang memberikan arti kepada program

Review Mesin Automata  Misal : FSA Ada mesin penjual permen yang Memuat aturan2 sbb : Harga Permen Rp.25 Mesin tsb dpt menerima koin Rp.5 (n), Rp.10 (d) Rp.25 (q) $ = tombol utk mengeluarkan permen. Kemungkinan2 yang Terjadi diperlihatkan gambar :

Review Mesin Automata  Misal : FSA FSA State Diagram nya adalah :

Contoh lain : FSA

Konsep dan Notasi bahasa Penggolongan Chomsky Bahasa Mesin Automata Aturan Produksi

Keterangan  menyatakan simbol – simbol yang berada di ruas kiri aturan produksi  menyatakan simbol – simbol yang berada di ruas kanan aturan produksi Simbol-simbol terdiri dari simbol terminal dan non terminal/variabel (masih bisa diturunkan lagi) Simbol terminal biasanya dinyatakan dengan huruf kecil, sementara non terminal dengan huruf besar

Aturan Produksi Tipe O / 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

Aturan Produksi Tipe 2 / Context free grammar: Ruas kiri haruslah tepat satu simbol variable B  CDeFg D  BcDe Tipe 3 / Regular: Ruas kanan hanya memiliki maksimal 1 simbol non terminal dan diletakkan paling kanan sendiri A  e A  efg A  efgH C  D

Aturan produksi yang tidak legal !!! Simbol E tidak boleh berada pada ruas kiri misal E  Abd Aturan produksi yang ruas kirinya hanya memuat simbol terminal saja misal : a  bd atau ab  bd

Hirarki Comsky Unrestricted Regular Context Sensitive Context free Regular

Contoh Tata Bahasa Sederhana <program>  BEGIN <Statement-list> END <Statement-list>  <statement> | <statement>; <statement-list> <statement>  <var> := <expression> <Expression>  <term> | <term><op1> <expression> <term>  <factor> | <factor> <op2> <term> <factor>  <var> | <constant> <var>  A|B| ….| Z <op1>  + | - | = <op2>  ^ | * | / <constant>  <real_number> | <integer_part> <real_number>  <integer_part> . <fraction> <integer_part>  <digit> | <integer_part> < digit> <fraction>  <digit> | <digit> <fraction> <digit>  0|1|….|9

Contoh Begin A := 1; B := A + 2 END

Diagram State Digunakan untuk mendapatkan token, mempermudah melakukan analisis lexical Token adalah simbol terminal dari teori bahasa dan automata

Contoh : suatu tata bahasa memiliki himpunan simbol terminal/token berikut (ID, PLUS, MINUS, dan INT) token ID untuk karakter huruf a-z, 0-9, token INT untuk digit, token PLUS untuk Penjumlahan dan token MINUS untuk Pengurangan S ID INT PLUS MINUS + - huruf Digit Huruf, Digit Blank

Notasi BNF (Backus-Nour Form) Aturan Produksi bisa dinyatakan dengan notasi BNF BNF menggunakan abstraksi untuk struktur syntax ::= sama identik dengan simbol  | sama dengan atau < > pengapit simbol non terminal { } Pengulangan dari 0 sampai n kali

Notasi BNF (Backus-Nour Form) Misalkan aturan produksi sbb: E  T | T+E | T-E T  a Notasi BNFnya adalah E ::= <T> | <T> + <E> | <T> - <E> T ::= a

Diagram Syntax Alat bantu (tools) dalam pembuatan parser/ analisis sintaksis Menggunakan simbol persegi panjang untuk non terminal Lingkaran untuk simbol terminal Misalnya E  T | T+E | T-E T + - E

BNF: <Block> ::= BEGIN <statement> { SEMICOL <statement>} END