Sebuah otomata berhingga menspesifikasikan sebuah bahasa sebagai himpunan semua untai yang menggerakannya dari state awal ke salah satu dari state yang diterimanya (himpunan state akhir).Selain dengan ekspresi regular kita bisa mengkonstruksikan aturan-aturan produksi untuk suatu tata bahasa regular dengan α →β