Bahasa : rangkaian kalimat/kode (untuk bahasa komputer) yang membentuk satu perintah.

• ahli syaraf –> neural system
• matematika –> logika
• elektro –> tools
• IT –> finite state otomata

FINITE STATE OTOMATA : merupakan tool yang sangat berguna dalam perancangan leksical analyzer yaitu bagian dari komputer yang mengelompokkan karakter-karakter ke dalam token yang berupa unit terkecil seperti nama, variabel, dan keyword.

Finite state otomata & ekspresi regular dipakai pula dalam :

• teks editor
• pattern matching
• program files “searching”

Bahasa pemrograman harus didefinisikan secara tepat, adapun spesifikasi dari sebuah bahasa pemrograman meliputi hal-hal berikut ini :

1. Himpunan simbol-simbol atau alfabet, yang bisa dipakai untuk membentuk program yang benar.
2. Himpunan program yang benar secara sintatik.

AUTOMATA –> bahasa pemrograman yang lebih diarahkan kepada komputer digital

Konsep bahasa dan otomata :

Sebuah simbol adalah bentuk abstrak yang telah kita definisikan secara formal.

Contoh : titik & baris pada geometri, huruf & digit dari simbol yang sering dipakai, sebuah string atau kata atau untai yang membentuk suatu deretan berhingga dari simbol-simbol, panjang string (memperlihatkan jumlah simbol yang membentuk string.

Kalau dalam bahasa matematika :