Ay: Haziran 2009

Automata (Otomatlar) Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri

Özyineli Geçiş Ağları (Reursive Transition Networks)

Yazan : Şadi Evren ŞEKER Veri modellemede kullanılan bir ağ şeklidir. Esas itibariyle içerikten bağımsız dillerin (context free grammers) görsel gösterimi için kullanılabilirler. Ağların yapısı uzatılmış geçiş ağlarına (augmented transition network) benzemekle birlikte en büyük farkı ve isminin özyineli olmasının…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi Bilgisayar Matematiği

Karar Problemi (Decision Problem)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de içinde bulunduğu pek çok bilim ve mühendislik dalını yakından ilgilendiren hesaplanabilirlik teorisi (computability theory) konusundaki problemlerden birisidir. Problemi basitçe tanımlama gerekirse bir koşulun (ki biz buna karar ismini vereceğiz) sağlanıp sağlanamadığını evet-hayır…

Bilgisayar Matematiği C / C++

Masfuf (Matris , Matrix)

Yazan : Şadi Evren ŞEKER Eski dilde saf tutmak anlamındaki saf kelimesinden türemiş  olan ve saf saf dizilmiş anlamına gelen masfuf. İngilizceden matris (matrix) olarak da Türkçeye sonradan girmiş ve masfuf kelimesi unutulmuştur. Basitçe 2 boyutlu diziler olarak düşünülebilir. Yani…

Algoritma Analizi (Teory of Algorithms) Automata (Otomatlar) Bilgisayar Standartları Derleyiciler Doğal Dil İşleme (NLP) Donanım (Hardware) Dosya Organizasyonu (File Organisation) İşletim Sistemleri Mantık Devreleri (Logic Circuits) Programlama Dilleri Sistem Programlama (System Programming) Temel Bilgisayar Kavramları Veri Yapıları

Turing Makinesi (Turing Machine)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin önemli bir kısmını oluşturan otomatlar (Automata) ve Algoritma Analizi (Algorithm analysis) çalıştırmalarının altındaki dil bilimin en temel taşlarından birisidir.1936 yılında Alan Turing tarafından ortaya atılan makine tasarımı günümüzde pekçok teori ve standardın belirlenmesinde…

Automata (Otomatlar) Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri Temel Bilgisayar Kavramları

Özyineli Sayılabilir Diller (Recursively Enumerable Languages)

Yazan : Şadi Evren ŞEKER Muntazam dillerden (formal languages) birisi olan ve bu özelliği ile Mantık, Matematik ve Bilgisayar bilimlerinin çalışma alanına giren bir dil çeşididir. Sınıflandırma olarak Chomsky Hiyerarşisinde (Chomsky Hierarchy) 0. seviye olan (Type 0) bu dile uygun…

Automata (Otomatlar) Bilgisayar Standartları Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri Temel Bilgisayar Kavramları

Chomsky Hiyerarşisi ( Chomsky Hierarchy )

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin özellikle dil alanında yapılan çalışmalarında muntazam dilleri (formal languages) tasnif etmek için kullanılan bir yapıdır. Literatürde Chomsky–Schützenberger hiyerarşisi olarak da geçmektedir. Bilindiği üzere ( muntazam diller (formal langauges) veya CFG yazısından da okunabileceği…

Temel Bilgisayar Kavramları Yapay Zeka (Artificial Intelligence)

Anlamsal Ağlar (Semantic Network)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle yapay zeka çalışmalarında bilgisayarların öğrenme sürecini belirlerken, bilgisayar taafından yapılan çıkarımların gösterilmesi ve ilişkilendirilmesi ciddi bir problemdir. Bir bilgisayar yazılımının içinde bulunduğu durum veya karşılaştığı vaka hakkında yaptığı çıkarımları göstermesine semantics (anlambilim)…

Bilgisayar Standartları Doğal Dil İşleme (NLP) Temel Bilgisayar Kavramları Web Teknolojileri Yapay Zeka (Artificial Intelligence)

Mana Ağları (Sematic Webs, Anlamsal Ağ)

Yazan : Şadi Evren ŞEKER İnternetin (world wide web) bir alt uzayı olarak düşünülebilecek anlambilimsel ağlar, internet üzerinde bulunan ve doğal dilde yapılan yayınlara bir alternatiftir. Anlambilimsel ağlar, bir bilgi kaynağının makinelere (bilgisayarlar) tarafından işlenebilecek ve bu işleme sonucunda anlamı…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi Bilgisayar Matematiği

Özyineli sayılabilir küme (Recursively Enumerable Sets)

Yazan : Şadi Evren ŞEKER Hesaplanabilirlik teorisine (Computability Theory) bir sayı kümesi elemanlarının tamamının bir algoritma için çalışıp son bulma şartını sağlıyorsa özyineli sayılabilir küme olarak sınıflandırılır. Daha basit bir anlatımla kümede bulunan bütün elemanlar bir algoritma için, o algoritmanın…