teori bahasa dan otomata

TEORI BAHASA DAN
OTOMATA
PENGANTAR
PERKULIAHAN

Jumlah pertemuan minimal 13 kali
dan maksimal 15 kali sudah
termasuk dengan ujian tengah
semester (UTS)
PENILAIAN
ABSEN – 10% (Minimal kehadiran
80% dari jumlah perkuliahan)
 UTS – 40% (Sudah termasuk
tugas, jika ada)
 UAS – 50% (Sudah termasuk
tugas, jika ada)

PERTANYAAN ??
Motivasi mengambil mata kuliah
Teori Bahasa dan Otomata (TBO)
 Harapan dalam belajar mata kuliah
Teori Bahasa dan Otomata (TBO)
 Hasil yang didapat dengan belajar
mata kuliah Teori Bahasa dan
Otomata (TBO)

Why study theory?



Teori memberikan konsep-konsep dan prinsipprinsip yang membantu kita memahami sifat
umum dari suatu disiplin ilmu
Disiplin ilmu komputer memiliki lingkup yang
luas
 Terdapat prinsip-prinsip dasar yang
melandasinya
 Untuk mempelajari prinsip-prinsip dasar
tersebut dibuat model abstrak komputer
Model abstrak komputer & komputasi
 Memiliki sifat fitur-fitur dasar yang terdapat
pada software & hardware
Kecerdasan Buatan
Didalam bahasa Otomata ada yang namanya
kecerdasan buatan
 Kecerdasan buatan adalah bidang ilmu yang
mendasarkan bagaimana sebuah komputer bisa
bertindak seperti dan sebaik manusia
 Aplikasi Kecerdasan buatan:
1.Sistem pakar
2.Pengolahan bahasa alami
3.Pengenalan ucapan
4.Robotika dan sistem senso
5.Computer Vision
6.Problem solving and planning
7.Permainan

APLIKASI












Desain digital
Bahasa pemrograman
Parser/Compiler
Pemroses naskah (text processor)
Sistem Operasi
Mesin Jaja / vending machine
Mesin penukar uang
Kunci kombinasi
Pengenalan pola
Robotika
Model-model
dll
Mengenal TBO

Teori bahasa dan automata merupakan salah satu
komponen ilmu informatika, teori ini merupakan
ide dan model fundamental yang mendasari
sebuah system komputasi, teori ini juga bisa
disebut sebagai sebuah teknik rekayasa untuk
perancangan system komputasi.
Mengenal TBO Lanjt..

Beberapa bidang ilmu lain yang mendukung
pengembangan metode komputasi :
 Biologi
Mempelajari jaringan neuron yang
mengilhami ditemukanannya finite
automata.
 Rangkaian Elektronika
Mempelajari teori switching sebagai
perancangan perangkat keras menggunakan
finite automata.
 Matematika
Mengembangkan system logika yang
berguna untuk masalah pembuktian
automata.
Definisi TBO
Bahasa merupakan beberapa variabel yang
dapat dibentuk dari himpunan alfabet.
 Rangkaian simbol-simbol yang mempunyai
makna.
 Refresentasi suatu bahasa yang berupa suatu
kalimat dibangun dari unit-unit kebahasaan,
dimulai dari yang paling sederhana yaitu huruf
kemudian kata dan akhirnya terbentuklah
kalimat.
 Adapun teori bahasa itu sendiri membicarakan
tentang bahasa formal, terutama untuk
kepentingan perancangan kompilator dan
pemroses naskah.

Model Komputasi

Finite automata (FA)
 Sering juga disebut dengan Finite State Automata
(FSA).
 Terdiri dari Deterministic Finite Automata (DFA)
dan Non Deterministik Finite Automata (NDFA).
 Teori dasar dari FA sangat umum yaitu system
pada saat berada di salahsatu state dari sejumlah
state bergerak diantara state-state secara dapat
diproduksi yang bergantung pada masukan ke
system.
 Salah satu penerapannya adalah
kompilasi/translasi bahasa pemograman tingkat
tinggi menjadi bahasa mesin yang ekivalen.
 Finite automata merupakan jenis otomata yang
tidak memiliki memori sementara, FA adalah kelas
mesin dengan kemampuan paling terbatas.
Model Komputasi Lanjt..
Pushdown Automata (PA)
 Terdiri dari Deterministic Pushdown Automata
(DFA) dan Non Deterministik Pushdown
Automata (NDFA). PA memiliki memori
sementara dengan mekanisme stack LIFO
(Last In First Out).
 Turing Machine (TM).
 Memiliki mekanisme Random Access Memory.
Dalam teori bahasa dan Automata digunakan
model state (State Machine Model). atau biasa
disebut model transisi (State Transition Model),
pengembangan teori automata difasilitasi dengan
perkembangan bidang Psycho Linguistik.

OTOMATA
Arti menurut American Heritage
Dictionary:
1. A robot
2. One that behaves in an automatic or
mechanical fashion
 Arti dalam Matematika
Berkaitan dengan teori mesin abstrak, yaitu
mesin sekuensial yang menerima input, dan
mengeluarkan output, dalam bentuk diskrit.

OTOMATA LANJ..
Mempelajari model yang merepresentasikan
fitur-fitur inti dari semua komputer dan
aplikasinya
 Automaton (plural: automata)
Suatu bentuk yang memiliki semua fitur utama
dari komputer digital
 Menerima input
 Menghasilkan output
 Dapat memiliki penyimpanan sementara
 Dapat membuat keputusan dalam proses
mentransformasikan input menjadi output
OTOMATA LANJ..

Formal language
Abstraksi karakteristik umum bahasa
pemrograman
Terdiri atas:
 Sekumpulan simbol
 Beberapa aturan pembentukan (menjadi
kalimat)
“Sekumpulan string yang diterima oleh suatu
aturan pembentukan”
TERMINOLOGI DASAR

Beberapa terminologi dasar dari
sebuah teori bahasa diantaranya:
Alphabet
 Concatination / penyambungan
 String

TERMINOLOGI DASAR Lanjt..

Dalam teori bahasa, Istilah huruf = karakter =
simbol dan istilah kalimat = kata = string.
Simbol / huruf / karakter
 Merupakan sebuah elemen alphabet yang
memiliki makna unik / tunggal, misalnya
symbol A dan symbol B yang memiliki makna
berbeda.
 Alphabet
 Dilambangkan dengan huruf capital miring,
alphabet adalah himpunan tak kosong yang
berhingga dari symbol – symbol.
 Kata / kalimat / String
 Kata merupakan dereten symbol –simbol dari
suatu alphabet

TERMINOLOGI DASAR Lanjt..
Contoh :




C = {a,b,c,1,2,3}
Contoh diatas merupakan contoh sebuah
alphabet C yang memiliki 6 buah symbol
Contoh sebuah kata / string dari alphabet C:
acca, back, 132, a12, dst.
Kata acca dengan caac memiliki makna yang
berbeda.
Kata acca, 121, abba memenuhi aturan
palindrome (walaupun kata dibalik memiliki
makna yang sama).
SIFAT-SIFAT OTOMATA
Kelakuan mesin bergantung pada rangkaian
masukan yang diterima mesin tersebut.
 Setiap saat, mesin dapat berada pada suatu
status tertentu dan dapat berpindah ke status
baru karena adanya perubahan input.
 Rangkaian input (diskrit) pada mesin otomata
dapat dianggap sebagai bahasa yang harus
"dikenali" oleh sebuah otomata. setelah
pembacaan input selesai, mesin automata
kemudian membuat "keputusan".
