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 olehdua atau lebih tata
bahasaberbeda. 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.
• Jika w adalah sebuah string maka panjang string dinyatakan sebagai |w| dan didefinisikan sebagai
cacahan (banyaknya) simbol yang menyusun string tersebut. Sebagai contoh, jika w = abcbmaka |w|
= 4.
• String hampa adalah sebuah string dengan nol buah simbol. String hampa dinyatakan dengan
simbol ε(atau ^) sehingga |ε|= 0. String hampa dapat dipandang sebagai simbol hampa karena
keduanya tersusun dari nol buah simbol.
• Alfabet adalah hinpunan hingga (finite set) simbol-simbol
1. ELANG VS PIPIT

2. Finite State Automata (FSA)adalah model matematika yang dapat menerima input dan
mengeluarkan output. FSA Memiliki state yang berhingga banyaknya dan dapat berpindah
dari satu state ke state lainnya berdasar input dan fungsi transisi. FSA  Tidak memiliki tempat
penyimpanan/memory, hanya bisa mengingat state terkini. Mekanisme kerja dapat
diaplikasikan FSA pada : elevator, text editor, analisa leksikal, pencek parity.

3. Mesin jaja atau Vending Machine yang biasa terdapat di tempat-tempat umum, biasa

digunakan untuk menjual secara otomatis suatu produk dengan cara memasukkan uang
koin, baik produk makanan, minuman, ataupun semua produk yang dapat bertahan lama
tanpa mengalami kerusakan. Namun pada saat ini, beberapa mesin jaja pun sudah bisa
menerima masukan uang kertas, serta memberikan kembaliannya jika diperlukan. Banyak
sekali algoritma mesin jaja yang ada di dunia ini, tetapi semuanya itu bergantung kepada
fungsi dan tujuan mesin jaja tersebut dibuat.
Salah satu algoritma mesin jaja yang mempresentasikan sebuah mesin jaja yang menjual barang-
barangnya seharga 1 dollar dengan menerima masukan uang koin pecahan seperempat dollar atau
setengah dollar.

4. Finite Automata dalam mesin karaoke bekerja dengan cara mesin membacamemori
masukan berupa tape yaitu 1 karakter tiap saat (darikiri ke kanan) menggunakan head baca
yang dikendalikanoleh kotak kendali state berhingga dimana pada mesinterdapat sejumlah
state berhingga.Finite Automata selalu dalam kondisi yang disebut stateawal (initial state)
pada saat Finite Automata mulai membacatape. Perubahan state terjadi pada mesin ketika
sebuahkarakter berikutnya dibaca.Ketika head telah sampai pada akhir tape dan kondisi
yangditemui adalah state akhir, maka string yang terdapat padatape dikatakan diterima
Finite Automata (String-stringmerupakan milik bahasa bila diterima Finite Automata
bahasatersebut).
5. Teori automata yang selama ini lebih banyak diterapkan dalam bidang tata bahasa formal
khususnya dalam pengembangan sebuah compiler, juga dapat digunakan untuk
melakukan pemodelan dan pendekatan pemecahan masalah masalah yang berkaitan
dengan aplikasi aplikasi di dalam bidang kecerdasan buatan. Pada tulisan ini akan
diterapkan teori automata sebagai pendekatan pemecahan masalah dalam dua bidang
aplikasi kecerdasan buatan, yaitu aplikasi permainan Ember Air dan aplikasi sistem pakar.