Biçimsel diller ile yorumlan (özellikle doğrulamları) olan yapılar arasındaki ilişkileri konu edinen yorumsal sözeden kuram.