Pengantar Teori Bahasa dan Automata

Teori Bahasa

Teori bahasa membicarakan bahasa
formal (formal language), terutama
untuk kepentingan perancangan kompilator (compiler)
dan pemroses naskah (text processor).
Bahasa formal adalah kumpulan kalimat.
Semua kalimat dalam sebuah bahasa dibangkitkan oleh sebuah tata bahasa (grammar) yang sama. Sebuah bahasa formal
bisa dibangkitkan oleh dua atau lebih tata bahasa berbeda. Dikatakan bahasa
formal karena grammar diciptakan mendahului pembangkitan setiap kalimatnya.
Bahasa manusia bersifat sebaliknya; grammar diciptakan untuk meresmikan
kata-kata yang hidup di masyarakat. Dalam pembicaraan selanjutnya ‘bahasa
formal’ akan disebut ‘bahasa’ saja.

Automata

Automata adalah mesin abstrak yang
dapat mengenali (recognize), menerima
(accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa
tertentu.

Beberapa Pengertian
Dasar

·        
Simbol adalah sebuah entitas abstrak (seperti halnya
pengertian titik dalam geometri).
Sebuah huruf atau sebuah angka adalah contoh simbol.

·        
String adalah deretan terbatas (finite) simbol-simbol. Sebagai contoh, jika a, b, dan c adalah tiga buah simbol maka abcb adalah sebuah string yang dibangun
dari ketiga simbol tersebut.

Tweet