Biçimsel dillerin temel konuları şunlardır: Alfabe ve kelimeler: Dildeki semboller ve bunların listesi. Diziler ve kombinasyonlar: Alfabedeki karakterlerin tüm olası kombinasyonları. Düzenli ifadeler (regular expressions, REX): Tanımlı dilde üretilebilecek ifadelerin gösterim biçimi. Gramerler: Dili tanımlayan üretim kuralları. Chomsky sınıflandırması: Dilleri, gramerlerin veya kabul eden makinelerin hesaplama gücüne göre dört sınıfa ayıran hiyerarşi. Otomatlar: Biçimsel dillerin uygulanmasında kullanılan hesaplama yöntemleri. Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir ve programlama dilleri, derleyici ve yorumlayıcı yazılımların hazırlanmasında önemli bir rol oynar.