Teori bahasa membicarakan bahasa formal (formal languange) , 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 yang 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.
