Biriktirme Tipi Fonksiyonlar ( Accumulator Type Functions)
Yazan : Şadi Evren ŞEKER Bir veri yapısı üzerinde çalışan ve veri yapısında bulunan verileri, verilen bir fonksiyonu kullanarak bir değişkende biriktiren fonksiyon tipidir. Bu durum aşağıdaki bağlı liste (linked list) örneğinden anlaşılabilir: Örneğin yukarıdaki listede toplama fonksiyonu olarak aşağıdaki…
Bindirme Tipi Fonksiyonlar (Mapping Style Functions)
Yazan : Şadi Evren ŞEKER Veri yapıları (data structures) üzerinde uygulanan döngü (loop) tiplerinden birisidir, literatürde haritalama tipi olarak da geçmektedir. Temel olarak bir veri tipi üzerindeki değişimi uygulamak için kullanılırlar. Örneğin aşağıdaki bağlı listeyi (linked list) ele alalım: Yukarıdaki…
Zamanın Gerçekdışılığı (Unreality of Time, Hayal-i Vakit)
Yazan : Şadi Evren ŞEKER Literatüre McTaggart tarafından kazandırılmış olan bu çalışmaya göre zaman gerçek bir varlık değildir. Zamanın gerçek olmadığın ispatlamak için iki önerme ortaya atılır: 1. Olayların zamanlarını açıklamak için başka olaylara ihtiyaç duyması (yani aslında zaman kavramı…
Zamani (Temporal, Zamansal, Zamane, Mevkut)
Yazan : Şadi Evren ŞEKER Zamani kavramları açıklamak için kullanılan terimdir. Basitçe insanın zaman algısı ve bu algı üzerine kurulu olan felsefi ve yaşamsal düşünceleri geçmiş, şimdi ve gelecek üzerine kuruludur. Bu durumda zamani kavramlarda bu değerlerin etkisidine şekillendirilmektedir. Aslında…
Tehlike (Hazard)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle de mantıksal devre tasarımı sırasında karşılaşılan bir durumdur. Basitçe sistemde oluşan veya oluşabilecek tehlikeleri ifade eder. Yani örneğin sistemdeki kapıların (ve, veya, yahut kapıları) yanlış çalışması sonucunda oluşan tehlikelerdir. Temel olarak 3…
Zaman Sırası (Sequence of Tenses)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin bir çalışma konusu olan doğal dil işlemede çeşitli amaçlarla kullanılan zaman belirleme işlemleri açısından önemli bir kavramdır. Basitçe bir birleşik cümledeki ana cümlenin ve alt cümlenin zamanlarının arasındaki uyumu açıklamak için kullanılır. Örneğin…
Algoritma Analizi (Teory of Algorithms) Automata (Otomatlar) Bilgisayar Felsefesi Derleyiciler Programlama Dilleri
İçerik Bağımsız Gramerler için Pompalama Önsavı (Pumping Lemma for Context Free Grammers)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde bir dilin, içerik bağımsız gramer (context free grammer, CFG) ile gösterilemeyeceğini ispatlamaya yarar. Yani pompalama ön savı sayesinde bir dilin CFG olmadığı ispatlanabilir ancak olduğu ispatlanamaz. Şayet pompalama önsavını geçemyorsa CFG değildir denilebilir…
Düzenli İfadelerde Pompalama Önsavı (Pumping Lemma for Regular Expressions)
Yazan : Şadi Evren ŞEKER Bir dilin Düzenli ifadele (Regular expression) olup olmadığının belirlenmesi için kullanılan pomplama önsavıdı (pumping lemma). Basitçe düzenli ifadede olup olmadığı sınanacak bir w dili için (yani L = w için) w= xyz şeklinde bir açılım…
Algoritma Analizi (Teory of Algorithms) Automata (Otomatlar) Bilgisayar Felsefesi Derleyiciler Programlama Dilleri
Pompalama Önsavı (Pumping Lemma)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde dil tasarımı (language design, compiler design) konusunda önemli araçlardan birisidir. Bu önsava (lemma) göre şayet bir dil, bir herhangi bir gruba ( içerik bağımsız dil (context free language) veya düzenli ifadeler (Regular expression)…
Uyum (Agreement, Kabul, Bağıt, Mutabakat)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin bir çalışma alanı olan doğal dil işleme (Natural language processing) konusunda ve dolayısıyla dilbilim (linguistic) konusunda kullanılan bir kavramdır. Bu kavrama göre bir dilde aynı anlama gelen kelimelerin sayı, cinsiyet, kişi veya duruma…
