TEORI BAHASA

DAN AUTOMATA

GARNO
PRODI TEKNIK INFORMATIKA

FAKULTAS ILMU KOMPUTER

UNIVERSITAS SINGAPERBANGSA KARAWANG
PENDAHULUAN

1.  Kedudukan teori bahasa dan automata pada

ilmu komputer.
2.  Konsep bahasa dan automata.
3.  Hirarki Chomsky
4.  Teori Himpunan.
5.  Fungsi dan Relasi.
6.  Teori Pembuktian.
7.  Graph dan Tree.
8.  Latihan
KEDUDUKAN TEORI BAHASA DAN
AUTOMATA PADA ILMU KOMPUTER
Ilmu komputer memiliki dua komponen utama:
a.  Model dan gagasan mendasar tentang
komputasi.
b.  Teknik Rekayasa untuk perancangan sistem
komputasi
(meliputi perangkat keras dan perangkat lunak).

Teori Otomata dan Bahasa merupakan bagian dari

yang pertama (model dan gagasan tentang
komputasi).
Hubungan  Ilmu  Komputer  dengan  Teori  
Bahasa  dan  Automata  
Ilmu komputer mensinergikan berbagai disiplin ilmu, antara
lain:
Matematika → merancang model, logika.
Biologi → jaringan syaraf (neural network).
Teknik (elektro) → mendisain perangkat keras, pensaklaran
(switching), gerbang logika, IC.
Ahli bahasa → mendisain tata bahasa (natural language).

Automata adalah suatu sistem yang memiliki fungsi-fungsi dari

komputer, menerima input, menghasilkan output, memiliki
penyimpan sementara, mampu membuat keputusan dalam
mentransformasikan input ke output.
Contoh penerapan otomata:

 - Text Editor
- Pattern Matching
- Pemrosesan Text
- File Searching
DEFINISI BAHASA
Bahasa adalah suatu sistem yang meliputi
pengekspresian gagasan, fakta, konsep termasuk
sekumpulan simbol-simbol dan aturan untuk
melakukan manipulasi.
Alhasil bahasa dapat disebut sebagai rangkaian
simbol-simbol dengan aturan tertentu yang
mempunyai makna.
BERARTI:

Dari kata sekumpulan berarti bahasa merupakan suatu

himpunan.
Yaitu himpunan string-string dari simbol-simbol untuk suatu
alphabet.
Bahasa  alami  (di  otomata)  adalah  himpunan  string-­‐string  dari  
simbol-­‐  simbol  untuk  suatu  alphabet.      
 String?             Simbol?      Alphabet?  
 
Simbol  adalah  suatu  keanggotaan  (en:tas  abstrak)  seper:  huruf  
atau  karakter.    
 Contoh  simbol:  'a',  'b',  'c'.  
Alphabet  adalah  himpunan  berhingga  dari  simbol-­‐simbol.  
String  (atau:  kata  /  untai)  adalah  deretan  berhingga  dari  simbol-­‐  
simbol.    
 Contoh  string:  'abba',  'aabbcc'.    
 •  Panjang  string  adalah  jumlah  (banyaknya)  simbol  yang  membentuk  string  
tersebut.  
 Contoh:      Panjang  string  'abba'  =  4      
                   Panjang  string  'cacab'  =  5  
 
•  String  kosong  dinyatakan  (dinotasikan)  dengan  Ԑ  (epsilon),  dengan  panjang  
string  =  0,  atau  |  Ԑ|  =  0.  
 
•  Simbol  Ԑ  dapat  dinyatakan  juga  dengan  simbol  λ  (lambda).  
 
•  Bahasa   kosong   adalah   bahasa   yang   :dak   terdiri   dari   string-­‐string,  
dinyatakan  dengan  Ø  (phi).    
•  Bahasa  kosong  berbeda  dengan  bahasa    yang  terdiri  dari  string  kosong  {Ԑ}.  
Teori bahasa ?

adalah mempelajari kaidah (aturan) pembentukan

sebuah bahasa.
Kaidah (aturan) bahasa dipergunakan dalam
membangun bahasa agar memilki makna disebut
tata bahasa/gramar.
KAIDAH

Kaidah (aturan) bahasa yang dipergunakan untuk membangun

baik aplikasi, sistem dll pada ilmu komputer yaitu dengan
pemrograman.
TATA BAHASA (GRAMMAR)

Didefinisikan secara formal sebagai kumpulan dari himpunan-

himpunan variabel, simbol-simbol terminal, simbol awal yang
dibatasi oleh aturan-aturan produksi.
BAHASA FORMAL
Adalah suatu abstraksi yang terdiri dari himpunan simbol-
simbol dan aturan-aturan yang mana simbol-simbol
tersebut dapat dikombinasikan ke dalam entitas yang
disebut kalimat.
BAHASA ALAMI
Bahasa alami (bahasa di kehidupan sehari-hari) bahasa yang
dipakai manusia, digunakan untuk mengekspresikan gagasan,
menyatakan fakta atau konsep.
AUTOMATA (1)
Adalah mesin abstrak yang dapat mengenali (recognize),
menerima (acceppt), atau membangkitkan (generate)
sebuah kalimat dalam bahasa tertentu.
AUTOMATA  (2)
•  Automata merupakan suatu sistem yang terdiri atas
sejumlah berhingga state, dimana state menyatakan
informasi mengenai input yg lalu, dpt pula dianggap
sebagai memori mesin.
•  Input pada mesin automata dianggap sebagai bahasa
yang harus dikenali oleh mesin.
•  Mesin automata membuat keputusan yang
mengindikasikan apakah input itu diterima atau
tidak.
AUTOMATA (3)
Pada   gambar   disamping,   bila  
mesin   mendapat   string   input  
berikut:  
• ada:  diterima  
• adu:  diterima  
• add:  ditolak  
Sebuah   string   input   diterima  
apabila   mencapai   state   akhir   /  
final   state   yg   digambarkan  
dengan  lingkaran  ganda.  
Pemanfaatan AUtomata dan
Teori Bahasa

Teori Automata dan bahasa formal dapat

diterapkan pada seluruh bidang aplikasi yang
didalamnya terdapat suatu keteraturan
(struktur) atau kejadian atau rentetan kejadian
yang dibatasi oleh kumpulan aturan tertentu
dalam bentuk barisan yang berhingga atau
tidak terhingga.
Model Komputasi
•  Teori Automata mempelajari model mesin komputer
menggunakan model matematika, tetapi matematika
yang digunakan berbeda dibanding dengan matematika
klasik dan kalkulus.

•  Model yang digunakan adalah model mesin state atau

model transisi state.
Teori yang menunjang MK.
Automata

•  Teori  Himpunan  
•  Fungsi  &  Relasi  
•  Teori  Pembuk:an  
•  Graph  &  Tree  
Teori Himpunan
1.  Gabungan  (  Union)  
2.  Irisan  (  Intersec:on)  
3.  Selisih  (  Difference)  
4.  Negasi  (Complement)  
 
Fungsi & Relasi
Contoh  Relasi  pada  himpunan  bilangan  Integer  
•  {(x,y)  ‫ ׀‬ y  =  x²}  
•  {(x,y)  ‫ ׀‬ y  ≤  x}  
•  {(x,y)  ‫ ׀‬ x  +  y  =  5  }  
•  {(x,y)  ‫ ׀‬ x²  +  y²  =  9}  
 
TEORI PEMBUKTIAN
Prinsip induksi matematika merupakan cara yang berguna
untuk melakukan pembuktian.
Langkah-langkahnya sebagai berikut:
1.  Tunjukan hal itu berlaku untuk P0, disebut basis step.
2.  Tunjukan hal itu berlaku untuk Pn+1, disebut induction
step.
3.  Dapat ditarik kesimpulan hal itu berlaku untuk semua
n.
INDUKSI MATEMATIK
Misal:
20 + 21 + … + 2n = 2n+1 – 1, untuk semua n E bilangan bulat positif
maka dapat kita tentukan:
P0: untuk n = 0, maka
20 = 20+1 – 1
1=2–1 20 + 21 + … + 2k + 2k+1=
2k+1 – 1 + 2k+1
1 = 1 (terbukti)
2 . 2k+1 – 1
Pn+1: misal n = k benar, maka 2k+1+1 – 1
20 + 21 + … + 2k = 2k+1 – 1 2(k+1)+1 – 1
(Terbukti)
Akan dibuktikan n = k + 1
juga benar:
Graph & Tree
•  Suatu  Graph  G  =  (V,E)  adalah  himpunan  
Vertex-­‐Vertex  (  Simpul)  dan  himpunan  sisi  
(  edge)  E  dimana  E  dibentuk  dari  V  x  V.  
•  Di:njau  dari  arahnya  ,  graph  dibagi  2,  yaitu  :  
•  Graph  berarah  (  directed  graph)  
•  Graph  :dak  berarah  (undirected  graph)  
 
•  Tree  merupakan  graph  terhubung  
•  Dalam  sebuah  tree,  se:ap  pasang  simpul  terhubung  hanya  
oleh  satu  lintasan.  
•  Is:lah  yang  sering  digunakan  dalam  tree  :  
Root  /  akar  :  suatu  simpul  ter:nggi  
Daun  /  leaf  :  simpul  yang  :dak  memiliki  anak  lagi  
Cabang/branch  :  simpul-­‐simpul  selain  daun.  
SEKIAN