«turing-machines» etiketlenmiş sorular

Son zamanlarda, çeşitli mantıkçılar ve matematikçiler tarafından hesaplanabilirlikle ilgili çığır açan çalışmaların bazı fikirlerini ve tarihlerini okudum. Bireysel kavramlar benim için oldukça açık olsa da, orada birbirleriyle olan ilişkileri ve hepsinin birbirleriyle bağlantılı oldukları soyut seviyeleri kavramaya çalışıyorum. Church teoreminin (ya da daha doğrusu, Hilbert'in Entscheidungsproblem'in Alonzo Kilisesi ve Alan …

27 lo.logic  computability  turing-machines 

Böyle bir model düşünemiyorum, belki de bir tür yazılı lambda matematiği? bazı temel hücresel otomatlar? Bu neredeyse Wolfram’ın “Hesaplamalı Denklik Prensibi” ni yanlışlar: Açıkça basit olmayan hemen hemen tüm işlemler eşdeğer karmaşıklığın hesaplamaları olarak görülebilir.

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Çok özel bir soru, farkındayım ve bunun Magic'in kurallarına aşina olmayan biri tarafından cevaplanacağından şüpheliyim. Draw3Cards için çapraz gönderildi . İşte Buluşması: Oyun Magic kapsamlı kurallar . Tüm Sihirli Kartların bir listesi için bu soruya bakın . Sorum şu - Turing Tamamlandı mı? Daha fazla ayrıntı için lütfen Draw3Cards adresindeki …

24 turing-machines  card-games  recreational 

Hesaplanabilir fonksiyonlar kavramını öğretmekte zorlanıyorum. Neden Hilbert / Ackermann / Godel / Turing / Church / ... gibi araştırmacıların 'hesaplanabilirlik' kavramını icat ettiği fikrini geliştirmeye çalıştım. Öğrenciler derhal şunları söyledi: "Hesaplanabilirlik ne anlama geliyor?" ve onlara Turing makinelerini öğretmediğim sürece cevap veremem ve sonra "bir Turing makinesi hesaplarsa bir fonksiyonun …

22 soft-question  computability  turing-machines  teaching 

Örneğin, programlama dillerinde bir X-in-X derleyici / yorumlayıcı yazmak yaygındır, ancak daha genel bir düzeyde Turing-complete sistemlerinin çoğu etkileyici yollarla taklit edebilir (örneğin, Conway'in Conway'in Hayat Oyunundaki Simülasyonu ). Yani sorum şu: Bir sistem Turing'in tamamlandığını kanıtlamak için kendini simüle edebiliyor mu? Kesinlikle gerekli bir durumdur.

20 computability  automata-theory  turing-machines 

Kuantum üzerinde bazı yeni konuları Okuma (bilgisayar burada , burada ve burada ) bana bir çeşit gücü hakkında ilginç bir soru hatırlatabiliyorum makinesini koruyarak -norm.ℓpℓp\ell_p Karmaşıklık teorisinde çalışan insanlar için kuantum karmaşıklığına gidecek olan büyük bir giriş metni Fortnow'un Joshua Grochow tarafından buraya gönderilen makalesidir . Bu makalede, kuantum Turing …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Kısa bir süre önce Turing Makineleri hakkında "Turing Makinesi otomatlardan mı geliyor, yoksa tam tersi mi?" Cevabını bilmiyordum tabii, ama merak ediyorum. Turing Makinesi temel olarak Push-Down Automata'nın biraz daha sofistike bir versiyonudur. Bundan Turing Makinesi'nin otomatadan türetildiğini varsayıyorum, ancak kesin bir kanıtım veya açıklamam yok. Ben sadece yanlış olabilirim …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Bir yerde bir Turing makinesinin bunu hesaplayamadığını okudum ve bu yüzden kararsızım ama neden? Bir makinenin ayrıştırma ağaçlarını üretmesi ve bir karar vermesi neden hesaplamalı olarak imkansızdır? Belki yanılıyorum ve yapılabilir mi?

19 computability  turing-machines  context-free 

Karar problemi CNF-SAT aşağıdaki gibi tanımlanabilir: Girdi: Normal normal formda bir boole formülü .ϕϕ\phi Soru: sağlayan değişken bir atama var mı?ϕϕ\phi Belirleyici olmayan iki bantlı bir Turing makinesi ile CNF-SAT'ı çözmek için birkaç farklı yaklaşım düşünüyorum . CNF-SAT'ı adımlarında çözen bir NTM olduğuna inanıyorum .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Soru: adımlarda CNF-SAT'ı …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Bildiğiniz gibi, tek bant için birçok anomo vardır Zaman olduğunda Turing makineleri : çoklu bant TM simülasyonu, sadece { 0 , 1 , b } ile daha büyük bant alfabesinin simülasyonu , zaman yapılandırılabilirliği, sızdırmazlık zaman hiyerarşi teoreminin ...o(n2)o(n2)o(n^2){ 0 ,1,b}{0,1,b}\{0,1,b\} Ayrıca basit sorunlar için ve modele özgü O ( …

18 cc.complexity-theory  turing-machines 

Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur. Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım. …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Feragatname: Karmaşıklık teorisi hakkında çok az şey biliyorum. Üzgünüm ama bu soruyu (çok) özlü olmadan sormanın hiçbir yolu yok: Turing makinelerinin "" kategorisindeki morfizmler ne olmalı? Bu açıkça özneldir ve kişinin teori hakkındaki yorumuna bağlıdır, bu nedenle bu soruya bir cevap ideal olarak yanıtı destekleyen bazı kanıtlar ve akıl yürütme …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Başlık sorusuna kesin bir cevap almak istiyorum. Herhangi bir programı sonsuz bir tahtadaki sonlu parçaların konfigürasyonuna çeviren bir dizi kural var mı, eğer siyah ve beyaz sadece yasal hamleleri oynarsa, oyun program durursa oyunun sınırlı bir sürede bitmesi gerekir mi? Kurallar sıradan satranç eksi 50 hareket kuralı, borsalar ve rıhtımla …

16 computability  turing-machines  board-games  halting-problem  recreational 

Bilgisayar bilimi ile ilgili şaşırtıcı şeylerden biri, fiziksel uygulamanın bir anlamda "alakasız" olmasıdır. İnsanlar, röleler, vakum tüpleri, ayrık transistörler, vb. Gibi farklı alt tabakalardan başarılı bir şekilde bilgisayar üretmişlerdir. Prensip olarak, bir bilardo topu bilgisayarı yapmak mümkün görünüyor . Bununla birlikte, fiziksel substrat tamamen alakasız değildir. İnsanlar belirli bileşen setlerinin …

16 computability  turing-machines  terminology  physics  natural-computing