Özyineli Diller (Recursive Languages)


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.

Bir özyineli dili tanımlamak için iki önemli tanım yapılır. Birincisi dilin içerdiği alfabeden üretilebilen güç kümesinin (power set) özyineli alt kümesi (recursive subset) olmasıdır.

İkincisi ise Turing makinesi tarafından kabul edilebilir bir muntazam dil (formal language) olmasıdır. Yani Turing makinesi bu dili kabul edecek ve bu dil dışındaki durumlarda duracaktır (halting).

Bütün özyineli diller aynı zamanda özyineli sayılabilirdirler. Bütün CFG veya düzenli ifadeler özyineli dil olarak kabul edilebilir.


« Özyineli Geçiş Ağları (Reursive Transition Networks)   |   CSharp ve SQL »



Yorumlar

Kullanıcı girişi yaparak ya da zorunlu olan * alanlarını doldurarak yorum yapabilirsiniz.

İsminiz *

Email adresiniz *

Web siteniz

Mesajınızı buraya yazabilirsiniz:

Bu Yazı Hakkında

Bilgisayar Kavramları üzerinde şu anda okumakta olduğunuz 'Özyineli Diller (Recursive Languages)' isimli yazı 01 Jul 2009 tarihinde, saat: 17:17 'de Şadi Evren ŞEKER tarafından gönderilmiş, toplam 514 defa okunmuştur.

Benzer yazıları Doğal Dil İşleme (NLP), Programlama Dilleri, algoritma analizi (teory of algorithms) kategorilerinden okuyabilirsiniz. Yazar ile irtibat kurmak için email gönderebilirsiniz. Yazıya yorum yapabilir ya da yapılan yorumları RSS 2.0 ile takibe alabilirsiniz.


Yazarın Kitabı

Bu yazının yazarı Şadi Evren ŞEKER'in son çıkan kitabı "Programlama ve Veri Yapılarına giriş (C, C++ ve JAVA ile)" hakkında bilgi almak için Buraya tıklayabilirsiniz.
Eklenen Son Yazılar
Yapılan Son Yorumlar
Yakın Yazılar
Bağlantılar