Yazan : Şadi Evren ŞEKER
Özyineli diller matematik, mantık veya bilgisayar bilimlerinde geçen muntazam dillerden (formal language) birisidir. Genellikle kararverilebilir yani Turing makinesi (Turing machine) tarafından işlenebilir diller olarak kabul edilirler.
Özyineli diller Chomsky hiyerarşisinde yer almamaktadır.
Bütün özyineli diller aynı zamanda özyineli sayılabilirdirler. Bütün CFG veya düzenli ifadeler özyineli dil olarak kabul edilebilir.