Teknologi Informasi dan Ilmu Pengetahuan

Teori Otomata dan bahasa formal, berkaitan dalam hal pembangkitan kalimat/generation yaitu, menghasilkan semua kalimat dalam bahasa L berdasarkan aturan yang dimilikinya. Dan pengenalan kalimat / recognition yaitu, menentukan suatu string (kalimat) termasuk sebagai salah satu anggota himpunan L. 

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  menurut American Heritage Dictionary:
1. a robot
2. one that behaves in an automatic or mechanical fashion

Arti dalam dunia matematika
Berkaitan dengan teori mesin abstrak, yaitu mesin sekuensial yang menerima input, dan mengeluarkan output, dalam bentuk diskrit.
Contoh :
¨ Mesin Jaja / vending machine
¨ Kunci kombinasi
¨ Parser/compiler
Jika disimpulkan maka pengertian automata adalah mesin abstrak yang dapat mengenali (recognize),menerima (accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu.