«turing-machines» etiketlenmiş sorular

Turing makineleri hakkında sorular, herhangi bir bilgisayar programını simüle edebilen teorik bir mekanik hesaplama modeli.

6
Turing Makinesi neden popüler bir hesaplama modelidir?
Ben bir CS lisansıyım. Turing'in soyut makinesiyle nasıl ortaya çıktığını anlıyorum (hesaplama yapan bir insanı modelleniyor), ancak bana tuhaf, inelegant bir soyutlama gibi görünüyor. Neden bir "bant" ve bir makine kafasının sembolleri yazıp, durumunu değiştirip kaseti ileri geri kaydırdığını düşünüyoruz? Temel önemi nedir? Bir DFA zarif - normal dilleri tanımak …
10
İnsan işlem gücü: İnsanlar Turing Makinelerinde durma problemine karar verebilir mi?
Durma sorununun (Turing Makineleri üzerinde) Turing Makineleri için kararsız olduğunu biliyoruz. İnsan zihninin bu sorunla ne kadar iyi başa çıkabileceği, muhtemelen Turing Makineleri veya genel amaçlı bilgisayarların yardımı ile ilgili bir araştırma var mı ? Not : Açıkçası, en katı anlamda, her zaman hayır diyebilirsiniz, çünkü tek bir insanın hayatında …
7
Bir Turing Makinesi “tanımı gereği” en güçlü makine midir?
Bir Turing Makinesinin "tüm olası matematik problemlerini" yapabileceğini kabul ediyorum. Ancak bunun nedeni sadece bir algoritmanın bir makine temsili olmasıdır: ilk önce bunu yapın, sonra bunu yapın, sonunda çıktı alın. Çözülebilir her şeyin bir algoritma ile temsil edilebileceği anlamına gelir (çünkü bu tam olarak 'çözülebilir' tanımıdır). Bu sadece bir totoloji. …
1
Bir turing makinesine eşdeğerde iki desteli aşağı açılır bir otomat mı?
Gelen bu cevap söz konusu buluşu Düzenli bir dil sonlu bir otomat tarafından tanınabilir. Bağlamsız bir dil yığın gerektirir ve bağlam duyarlı bir dil iki yığın gerektirir (tam bir Turing makinesi gerektirdiğini söylemeye eşdeğerdir) . Yukarıdaki kalın bölümün gerçeği ile ilgili bilmek istedim. Aslında doğru mu değil mi? Buna cevap …
5
Turing'in eksiksiz olmasının anlamı nedir?
Turing-tamamlamanın ne olduğunun çoğu tanımının bir dereceye kadar totolojik olduğunu görüyorum. Örneğin, Google’ın "Turing tam olmak ne anlama geliyor" anlamına gelirse, şunları elde edersiniz: Bir Turing makinesinin yapabileceği herhangi bir sorunu çözebiliyorsa, bilgisayar Turing'i tamamlar ... Farklı sistemlerin Turing'in eksiksiz olup olmadığı çok iyi tanımlanmış olsa da, Turing'in eksiksiz olmasının …
2
Kilise-Turing Tezi ve sinir ağlarının hesaplama gücü
Kilise-Turing tezi, fiziksel olarak hesaplanabilecek her şeyin bir Turing Makinesi üzerinde hesaplanabileceğini belirtir. "Sinir ağları üzerinden analog hesaplama" (Siegelmannn ve Sontag, Teorik Bilgisayar Bilimi). , 131: 331-360, 1994; PDF ), belirli bir formdaki bir sinir ağının (ayarlar kağıtta sunulmuştur) daha güçlü olduğunu iddia ediyor. Yazarlar, üstel bir zamanda, modellerinin Turing …
4
Turing, “makinelerin sürprizlere yol açamayacağını” söylerken yanlış anlama yüzünden ne demek istedi?
Alan M. Turing'in buradaki ifadesiyle karşılaştım : “Makinelerin sürprizlere yol açamayacağı görüşü, filozofların ve matematikçilerin özellikle konuştuğu bir yanılgıdan kaynaklandığına inanıyorum. Bu gerçeğin bir sonucu ortaya çıkar çıkmaz, bu gerçeğin tüm sonuçlarının ortaya çıktığı varsayımıdır. onunla eşzamanlı olarak zihin. Birçok koşulda çok faydalı bir varsayımdır, ancak biri yanlış olduğunu unutur. …
2
Neden hesaplanabilir fonksiyonlardan daha hesaplanabilir fonksiyonlar var?
Şu anda algoritmalar ve karmaşıklık ile ilgili bir kitap okuyorum. Şu anda, hesaplanabilir ve hesaplanamayan işlevler hakkında okuyorum ve kitabım, hesaplanabilir olandan daha fazla hesaplanamayan işlev olduğunu söylüyor; Bazı açılardan sezgisel olarak bunu kabul edebilirim ama kitap resmi bir kanıt sunmuyor ve konuyla ilgili çok fazla detaylandırmıyor. Sadece bir kanıt …
2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.