«turing-completeness» etiketlenmiş sorular

Turing-complete'u tamamlayan asgari dil özellikleri / yapıları nedir?

79 turing-completeness 

Merak ediyorum, müzik gösterim dili Turing-Complete mi? İlk düşüncem müzikal notasyonda döngüler olduğu, ancak koşullu dallar yazmanın bir yolu olmadığı, değil mi? Ben müzisyen değilim, belki birileri boşlukları doldurmada yardımcı olabilir?

63 turing-completeness 

Herhangi bir dilin iyi olması için Turing'in eksiksiz olması gerektiği kabul edilirse, Turing'in tamamlanmayan 'kullanışlı' bir programlama diline sahip olması gerçekten mümkün müdür? Bunun, özellikle geleneksel anlamdaki 'programlama' dilleri ile ilgili olduğunu ve işaretleme veya sorgulama dilleri olmadığını açıklamalıyım.

37 programming-languages  language-features  turing-completeness 

İşlemcinin talimatları nasıl ele aldığına dair genel bir fikrim var, ancak zamanımı çoğunlukla üst düzey dillerde çalışarak geçiriyorum. Belki de demire daha yakın çalışan birisi değerli bir içgörü sağlayabilir. Programlama dillerinin temelde bir işlemcinin komut setinin çok yüksek düzeyli soyutlamaları olduğunu varsayarsak, bir turing komple makinesi oluşturmak için gereken en …

19 hardware  low-level  turing-completeness 

Başlangıçta bunu StackOverflow üzerinde sormaya çalıştım, ama çok özneldi :-(. Programlama dillerinin gücünü tanımlama yöntemleri ile ilgileniyorum. gerçekte kullanılan programlama dilleri arasında ayrım yapan güç ölçüsü Örneğin, montaj ve Java arasında ayrımcılık yapacak öznel olmayan bir yöntem önerilebilir mi? Tamlığı çevirmek, bir dilin üretebileceği şeyde maksimum derecede güçlü olduğu anlamına …

18 turing-completeness 

Bu teorik bir sorudur, ancak şimdi fark ettiğim şeylerin yıllarca programlanmasından sonra "normal" zorunluluk tekniğidir, esas olarak C ++ kullanarak, rasgele JavaScript öğrenirken yanlışlıkla rastladığım bu işlevsel programlama dünyasını keşfettim. Bu, teknik olarak herhangi bir devlet odaklı programı tamamen işlevsel ve devletsiz farklı bir uygulama ile değiştirip değiştiremeyeceğinizi merak etmemi …

13 javascript  functional-programming  haskell  state  turing-completeness 

Turing dışı tam diller, çok daha analiz edilebilir oldukları ve böylece çok daha geniş optimizasyon olanakları sundukları için Turing-complete dillerine göre büyük bir avantaj sağlar. Ancak zar zor kullanılırlar ve Turing tamlığı aslında iyi bir özellik olarak satılır. Bugün genel amaçlı programlama için hazırlanmış ana akım Turing-complete dilleri var mı?

12 programming-languages  turing-completeness 

Ben açıklama için google denedim ama çoğu bağlantı sadece "FRACTRAN tam turing." Örneğin, çarpma bakalım "gibi şeyler söylüyorlar. Bir xkcd forum yazısı FRACTRAN'ın Turing Tamamlama'yı anlaması için posterin yardımcı olduğunu söylediğini hatırlıyorum . Bu esolangın Turing'in neden tamamlandığına dair sezgisel bir açıklama arıyorum, çünkü dil mekaniğine bakmak çok açık değil.

10 turing-completeness