Chomsky hiyerarşisi
Biçimsel dil kuramı, bilgisayar bilimi ve dilbilimde Chomsky hiyerarşisi, biçimsel diller arasındaki ast-üst ilişkisini tanımlar. Biçimsel dilbilgisi (gramer) bir dilin alfabesinden seçilmiş harflerden oluşan sözcüklerin veya sözcükler seçilerek oluşturulmuş cümlelerin, dilin sözdizimine göre doğru olup olmadığını belirler. Dilbilimci Noam Chomsky, artan karmaşıklıkta 4 farklı biçimsel dilbilgisi sınıfının bulunduğunu kuramsal olarak açıklamıştır.