TEORI BAHASA FORMAL

DAN OTOMATA

Farit abdullah
Teknik Informatika
2019B
Universitas Nadhltul Ulama” Sidoarjo
 APA ITU BAHASA FORMAL ?

 Suatu aturan yang meliputi bahasa pemrogramandan

bahasa matematis seperti aljabar dan logikaproposisi.
Aturan tersebut akan mengkonstruksiprogramming
translator untuk bahasapemrograman.
 Contoh: Compiler untuk bahasa pemrograman
 TATA BAHASA STRUKTUR FRASA

Suatu bahasa adalah suatu himpunan string, sehinggadua hal penting untuk
menspesifikasikan bahasa yaitu:

1. Jika diberikan spesifikasi suatu bahasa, secaraotomatis akan

membangkitkan satu atau lebihstring di dalam bahasa itu.

2. Jika diberikan spesifikasi satu bahasa, tentukanapakah suatu string tertentu

akan termasuk didalam bahasa itu atau tidak.
Suatu tatabahasa struktur frasa dapat digunakan untukmenspesifikasikan
suatu bahasa yang terdiri dari 4unsur:
 Himpunan terminal T >> simbol untuk membuatkalimat di dalam bahasa,
misalnya :objek/benda dan kata sifat
 Himpunan non-terminal N >> lambang antarayang digunakan untuk
mendeskripsikan strukturkalimat, misalnya: kalimat frasa dan kata
 Himpunan produksi P >> kaidah tatabahasa yangmengatur bagaimana
kalimat didalam bahasa itudapat dibentuk, misalnya: α - β, dalam hal ini
αdan β adalah rangkaian terminal dan non-terminal
 Di antara semua non-terminal di dalam N, adasebuah non-terminal
khusus yang disebut sebagaisimbol awal (starting symbol).
JENIS TATABAHASA DAN JENIS
BAHASA

Tatabahasa jenis-3 (type-3 grammar) jika semuaproduksi didalam tatabahasa berbentuk

:
A -> a
A -> aB atau A -> Ba
 Di dalam setiap produksi, string kirinya selalu berupasebuah non-terminal tunggal,
sedangkan stringkanannya berupa sebuah terminal atau sebuahterminal yang diikuti
dengan sebuah non-terminal.
 Tatabahasa jenis-2 (type-2 grammar) jika semua produksi di dalam tatabahasa
berbentuk : A-> a
Di dalam setiap produksi, string kirinya selalu berupanon-terminal tunggal
 Tatabahasa jenis-1 (type-1 grammar) jika semua produksi didalam tatabahasa
berbentuk : α -> β
Panjang β selalu lebih besar atau sama dengan α. Misalnyaproduksi :
A - ab
A – aA
aAb – aBCb
 Tatabahasa jenis-0 (type-0 grammar) yaitu tatabahasa strukturfrasa tanpa
pembatasan seperti yang telah didefinisikan olehjenis 1,2, dan 3.
 Semua bahasa pemrograman dapat dispesifikasi olehtatabahasa struktur frasa,
dan kebanyakannya merupakanbahasa jenis-2 (misalnya: Basic, Fortran,
Pascal).
 APA ITU OTOMATA?

Otomata adalah suatu sistem yang memiliki fungsi-fungsidari komputer, menerima

input, menghasilkanoutput, memiliki penyimpan sementara, mampu
membuatkeputusan dalam mentransformasikan input ke output.

Contoh :
 Mesin Jaja / vending machine
 Kunci kombinasi
 Parser/compiler
 OTOMATA TERHINGGA

Otomata terhingga dan bahasa reguler (regulerlanguages) adalah level terendah

dari hirarki mesindan bahasa. Salah satu aplikasinya adalah
konstruksipengkompilasi (compiler), yaitu pengenalan stringdari simbol di kode
sumber program yang harusdirepresentasikan sebagai objek tunggal sepertinama
variabel, konstanta numerik, dan reservedword.