İçeriğe atla

Kâhinli Turing makinesi

Kâhinli Turing makinesi, klasik Turing makinesi ile aynı temelleri kullanarak çalışır:

  • Bir veya birkaç şerit
  • Şerit(ler)i okumak için kafa(lar)
  • Geçiş tablosunu ve Turing makinesinin o anki durumunu içeren bir iç mantık

Öte yandan, kâhinli Turing makinesi özel bir duruma sahiptir: kâhine soru durumu. Başka bir deyişle, geçiş tablosunda şu şekilde bir giriş bulunur:

Güncel durumOkunan simgeYeni durum 1Yeni durum 2
dksdk1dk2

Bu durumda, dk durumunda s sembolü okunursa kâhine gidilecektir. Kâhin, makineyi sorunun cevabı evet ise dk1, hayır ise dk2 durumuna geçirecektir. Kâhinin Turing makinesinin tüm şeritlerini okuma ve değiştirme hakkı vardır.

Kâhinli Turing makinesi, NP-complete problem indirgemesi yapılırken kullanılır, zira bir problemin (yani kâhinin) başka bir problemin çözümünde nasıl kullanılabileceğini göstermektedir.

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Sokrates</span> Antik Yunan filozofu

Sokrates, Antik Yunan filozofudur. Heykeltıraş Sophroniskos'un ve Ebe Fenarete'nin oğludur. Yunan felsefesinin kurucularındandır.

<span class="mw-page-title-main">Yapay zekâ</span> insani zekaya sahip makine ve yazılım geliştiren bilgisayar bilimleri dalı

Yapay zekâ ya da kısaca YZ,, insanlar da dahil olmak üzere hayvanlar tarafından, doğal zekânın aksine makineler tarafından görüntülenen zekâ çeşididir. İlk ve ikinci kategoriler arasındaki ayrım genellikle seçilen kısaltmayla ortaya çıkar. Güçlü yapay zeka genellikle Yapay genel zekâ olarak etiketlenirken, doğal zekayı taklit etme girişimleri yapay biyolojik zekâ olarak adlandırılır. Önde gelen yapay zeka ders kitapları, alanı zeki etmenlerin çalışması olarak tanımlar: Çevresini algılayan ve hedeflerine başarıyla ulaşma şansını en üst düzeye çıkaran eylemleri gerçekleştiren herhangi bir cihaz. Halk arasında, yapay zekâ kavramı genellikle insanların insan zihni ile ilişkilendirdiği öğrenme ve problem çözme gibi bilişsel eylemleri taklit eden makineleri tanımlamak için kullanılır.

<span class="mw-page-title-main">Alan Turing</span> İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog

Alan Mathison Turing, İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog. Bilgisayar biliminin kurucusu sayılır. Geliştirmiş olduğu Turing testi ile makinelerin ve bilgisayarların düşünme yetisine sahip olup olamayacakları konusunda bir kriter öne sürmüştür.

<span class="mw-page-title-main">Doğal dil işleme</span> bilgisayar bilimi ve dil bilimi alanı

Doğal Dil İşleme, yaygın olarak NLP olarak bilinen yapay zekâ ve dilbilim alt kategorisidir. Türkçe, İngilizce, Almanca, Fransızca gibi doğal dillerin işlenmesi ve kullanılması amacı ile araştırma yapan bilim dalıdır.

Lineer zamanda çalışan bir algoritma, bir Turing makinesinin girişin uzunluğunun en fazla n katı tane adımda çözebildiği bir problemdir. Lineer zaman, polinomsal zamanın bir alt kümesidir.

<span class="mw-page-title-main">Turing makinesi</span> bilgisayar biliminde belirli işlemleri yapabilen bir araç modeli, belirli kurallara göre hareket eden bir banttan oluşan araç

Turing makinesi, karmaşık matematiksel hesapların belirli bir düzenek tarafından yapılmasını sağlayan hesap makinesi.

<span class="mw-page-title-main">NP (karmaşıklık)</span>

Nen karar problemlerini içeren karmaşıklık sınıfıdır.

Belirlenimsiz Turing makinesi, bulunduğu durumdan sonraki durum için birden fazla seçenek Turing makinasıdır. Makina aşağıdaki bileşenlerden oluşur:

<span class="mw-page-title-main">Neumann mimarisi</span>

Von Neumann mimarisi veri ve komutları tek bir yığıncak (depolama) biriminde bulunduran bilgisayar tasarı örneğidir. Paralel mimariler dışında Turing makinesi'nin ilkelerini uygulayan her bilgisayarı tanımlamak için kullanılır. Merkezi işlem biriminin bağımsızlığı dolaylı olup, "saklı yazılım bilgisayarı" ile eşanlamlı olarak kullanılır.

<span class="mw-page-title-main">Turing testi</span> Alan Turingin Computing Machinery and Intelligence başlıklı makalesinde geçen kavram

Turing testi, ilk olarak 1950 yılında Mind adlı felsefe dergisinde ünlü İngiliz matematikçi ve bilgisayar bilimcisi Alan Turing'in Computing Machinery and Intelligence başlıklı ünlü makalesinde sözü edilen kavram.

<span class="mw-page-title-main">Sonlu durum makinesi</span>

Sonlu durum makinası ; sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.

SAT problemi bir NP-tam sınıfı problemidir.

Tanrının algoritması, Rubik Küpü ile benzeri bulmaca ve matematiksel oyunların çözüm yöntemlerini konu alan bir kavram. Sözü edilen bulmacaları olabilecek en az adımda çözmeyi başaran algoritmayı tanımlamak için kullanılan bu terim, herhangi bir anda çözüme giden en kısa yolu bulabilen bir bilgenin var olduğu düşüncesine dayanmaktadır.

<span class="mw-page-title-main">Otomat teorisi</span>

Otomat teorisi, teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.

<span class="mw-page-title-main">Hesaplamalı karmaşıklık teorisi</span> hesaplama problemlerini kendi zorluklarına göre sınıflandırmaya ve bu sınıfları birbirleriyle ilişkilendirmeye odaklanan teorik bilgisayar bilimlerinde hesaplama teorisinin bir dalı

Hesaplamalı karmaşıklık teorisi, hesaplama problemlerini kendi zorluklarına göre sınıflandırmaya ve bu sınıfları birbirleriyle ilişkilendirmeye odaklanan teorik bilgisayar bilimlerinde hesaplama teorisinin bir dalıdır. Bir hesaplama probleminde prensip, algoritmada belirtilen matematiksel adımların mekaniğe uygulanması yoluyla probleme yaklaşmaktır. Ve bununla beraber hesaplama karmaşıklık teorisindeki problemler, eşdeğer bir bilgisayar tarafından çözülebilen ortamlarda kullanılır.

Bilet makinesi bilet üreten bir satış makinesidir. Örneğin, bilet makineleri, tren istasyonlarında tren biletleri, metro istasyonlarında, bazı tramvay durakları (gar) ve bazı tramvaylarda tramvay biletleri dağıtımı yapmaktadır. Tipik işlem, görüntü arayüzünü kullanan bir kullanıcının biletlerin türünü ve miktarını seçip ardından nakit, kredi kartı / banka kartı veya akıllı karttan bir ödeme yöntemi seçmesini içerir. Bilete veya biletler basılır ve kullanıcıya dağıtılır.

Seçilmiş açık metin saldırısı, saldırganın keyfi açık metinler için şifrelerin elde edilebileceğini varsayan kriptanaliz için bir saldırı modelidir. Saldırının amacı, şifreleme şemasının güvenliğini azaltan bilgiyi elde etmektir.

<span class="mw-page-title-main">Yapay zeka felsefesi</span> Overview of the philosophy of artificial intelligence

Yapay zeka felsefesi, yapay zekayı ve yapay zekanın, etik, bilinç, epistemoloji ve özgür irade bilgi ve anlayışı üzerindeki etkilerini araştıran teknoloji felsefesinin bir dalıdır. Ayrıca teknoloji, yapay hayvanların veya yapay insanların yaratılmasıyla ilgilidir, bu nedenle disiplin, filozoflar için oldukça ilgi çekicidir. Bu faktörler yapay zeka felsefesinin ortaya çıkmasına katkıda bulunmuştur. Bazı akademisyenler, AI topluluğunun felsefeyi reddetmesinin zararlı olduğunu savunur.

<span class="mw-page-title-main">Ethereum Classic</span> kripto para

Ethereum Classic, akıllı sözleşme işlevselliğine sahip açık kaynaklı, blok zinciri tabanlı dağıtılmış bir bilgi işlem platformudur. Halka açık bir Ethereum Sanal Makinesi'nde (EVM) yürütülen işlem tabanlı durum geçişleri aracılığıyla Satoshi Nakamoto fikir birliğinin değiştirilmiş bir sürümünü destekler. Ethereum Classic, Ethereum ağının orijinal, değiştirilmemiş geçmişini korur.

<span class="mw-page-title-main">Hesaplanabilir sayı</span>

Matematikte, hesaplanabilir sayılar, belirlenen herhangi bir doğruluk seviyesine ulaşacak şekilde sonlu ve sona eren bir algoritma ile hesaplanabilen reel sayıları ifade eder. Bu sayılar, yinelemeli sayılar, etkili sayılar ya da hesaplanabilir reel sayılarolarak da adlandırılır. Hesaplanabilir reel sayılar kavramı, o dönemde mevcut olan sezgisel hesaplanabilirlik kavramı üzerinden Emile Borel tarafından 1912'de ortaya konmuştur.