«turing-completeness» etiketlenmiş sorular


9
Neden bazı programlama dilleri Turing tamamlandı ama diğer dillerin bazı yeteneklerinden yoksun?
Dış programlara / işlevlere kanca olması gereken bir tercüman yazarken garip bir sorunla karşılaştım: 'C' ve 'C ++' içindeki işlevler değişken işlevlere bağlanamıyor , örneğin 'printf' adında bir işlev yapamıyorum onunla aynı argümanlar ile ve bunun yerine, değişken bir nesneyi alan alternatif bir sürümü çağırmak zorundadır. Bu çok sorunlu çünkü …

9
C aslında Turing tamamlandı mı?
C'ye Turing'in eksiksiz olduğunu açıklamaya çalışıyordum ve gerçekten de teknik olarak Turing'in eksiksiz olup olmadığını bilmediğimi fark ettim. (Soyut anlambilimdeki gibi C, gerçek bir uygulamadaki gibi değil.) "Açıkça" cevabı (kabaca: keyfi bir hafıza miktarına hitap edebilir, bu yüzden bir RAM makinesini taklit edebilir, bu yüzden Turing-tamamlandı), C standardının izin verdiği …

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 …

5
Turing tamamlandı mı?
Iota ve Jot hakkında okuyordum ve bu bölümü kafa karıştırıcı buldum: Bir dizgenin sözdizimsel ağacının sola veya sağa dallayabildiği İota'nın aksine, Jot sözdizimi eşit biçimde sol dallanmadır. Sonuç olarak, Iota kesinlikle bağlam içermez, ancak Jot normal bir dildir. Anladığım kadarıyla hem Iota hem de Jot Turing'in eksiksiz olduğu. Fakat görünüşe …

7
Tüm turing dilleri birbiriyle değiştirilebilir mi
Not, nasıl programlandığını bilmeme rağmen, CS teorisinde oldukça yeni bir başlangıç ​​yapıyorum. Bu cevaba göre Bütünlüğü tamamlamak, soyut bir hesaplanabilirlik kavramıdır. Eğer bir dil Turing tamamlandıysa, diğer bir Turing tamamlayıcı dilin yapabileceği herhangi bir hesaplama yapabilir. Ve herhangi Turing tam bir dilde yazılmış herhangi bir program diğerinde tekrar yazılabilir . …

1
Bir do-while döngüsü Turing eksiksizliği için yeterli midir?
Zorunlu programlama dillerinde, bir süre bitim döngüsünün dili Turing'in tamamlaması için bir kontrol akışı kurgusu olarak yeterli olduğunu biliyorum (kontrol akışı devam ettiği sürece - tabii ki sınırsız belleğe ve bazı operatörlere de ihtiyacımız var ...) . Benim sorumun özü şudur: bir süre-süresi döngüsü, bir süre-süresi döngüsü ile aynı hesaplama …

5
İşlevsel diller neden Turing tamamlandı?
Belki de konuyla ilgili sınırlı bir anlayışım yanlıştır, ancak şu ana kadar anladığım şey bu: İşlevsel programlama, Alonzo Church tarafından formüle edilen Lambda Calculus'a dayanmaktadır. Zorunlu programlama, Church'un öğrencisi Alan Turing tarafından yapılan Turing makine modeline dayanmaktadır. Lambda hesabı, Turing Makinası gibi güçlü ve muktedir olduğunu onlar hesaplama kapasitesiyle eşdeğerdir …




2
PROLOG Turing'i tamamlayan nedir?
PROLOG'un Turing-tamamlandığını kanıtlayabilirim, böyle bir Turing makinesini simüle eden bir program oluşturarak: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, NewSym, Action)), action(Action, Ls0, Ls1, [NewSym|RsRest], …

2
NAND kapıları ve Turing bütünlüğü arasındaki bağlantı
NAND kapılarının her doğruluk tablosunu uygulayan devreler oluşturmak için kullanılabileceğini ve modern bilgisayarların NAND kapılarından oluştuğunu biliyorum. NAND kapıları ile Turing tamlığı arasındaki teorik bağlantı nedir? Bana öyle geliyor ki NAND geçit devreleri Turing makinelerine göre sonlu otomata daha yakın. Sezgim, flip-floplar oluşturabilmem ve bu nedenle NAND kapılarının dışında kayıtlar …

1
Turing Decidable Problemleri Sınıfı için Tam Bir Sorun Var mı?
Gibi diller olan RE tamamlama birçok kimse indirimleri altında. Co-RE'nin de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ELEM ve REC arasındaki bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar.DURTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} İçin komple sorun var mı (diğer adıyla KAYIT ) göreli …

2
Yüksek Sipariş İşlevleri, İşlevsel Programlamaya daha fazla güç sağlıyor mu?
Benzer bir soruyu cstheory'de sordum . Stackoverflow'daki bu cevaba göre, tembel olmayan bir saf fonksiyonel programlama dilinde bir karmaşıklığına sahipken, zorunlu programlamada aynı algoritma Ω ( n ) olan bir algoritma vardır . FP diline tembellik eklemek algoritmayı Ω ( n ) yapar .Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) Yüksek Dereceli Fonksiyonlar ile …

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.