«terminology» etiketlenmiş sorular

teorik bilgisayar biliminde tanımlar, terimler ve yaygın isimler hakkında sorular.

6
Normal ifadeler değil
Bilgisayar biliminde geçmişi olan birine bile düzenli bir ifadenin ne olduğunu sorun ve cevabın sonlu durumlu bir otomatın erişme sınırının ötesine geçmesi muhtemel. Örneğin, “normal ifade” /^1?$|^(11+?)\1+$/ belirtilen Perl kişiliği Abigail tarafından yaratıldı (ve 2002'den beri Perl'in test grubunun bir parçası ), yalnızca bileşik olan tek sayıları kabul eden bir …
1
Kısıt memnuniyet problemi (CSP) vs. karşılanabilirlik modülo teorisi (SMT); kısıt programlamada bir koda ile
Birisi bu çalışma alanlarının ilişkisinin ne olduğunu açıklamaya çalışmakta mı, belki de problem düzeyinde daha somut bir cevap vermekte mi? Hangi yaygın olarak kabul görmüş bazı formülasyonları varsayarak hangilerini içerir. Bunu doğru anladıysam, SAT’dan SMT’ye geçtiğinizde, temel olarak CSP alanına girersiniz; tersi durumda, eğer CSP'yi boolean'lerle sınırlandırırsanız, temel olarak SAT …
2
Teori A'nın kökenleri ve uygulamaları mı? Teori B mi?
Son birkaç soruda ( q1 q2 ), mantık ve programlama dilleri ile algoritmalar ve karmaşıklık çalışmaları arasındaki ayrımı yakalamak için "Teori B" ile "Teori A" ya karşı "Teori A" tartışıldı. Bu terminoloji benim için yeniydi ve hızlı bir web araştırması açıklayan herhangi bir açık referans ile gelmedi. Bu terminolojinin kökenini …
3
Yeniden yazma terimiyle kalıp eşleştirme arasındaki fark nedir?
Orada olduğu gibi Lambda'ya hiçbir tepki Ultimate : Burada tekrar denemek vadeli yeniden yazma sistemleri sembolik hesaplama kanıtlayan otomatik teoremi örneğin kullanılır, ve tabii ki resmi dilbilgisi tanımlamak için. Terim yeniden yazmaya dayanan bazı programlama dilleri vardır, ancak anladığım kadarıyla kavramın örüntü eşleme olarak bilinir . Desen eşleştirme, işlevsel dillerde …
1
Bu tür yönlendirilmiş grafik sorununun adı nedir?
Kenarların doğal bir sayı ile süslendiği bir grafiği çiziniz. İki ve köşeleri arasındaki tüm yollarının kümesini istiyoruz, birbirini takip eden her kenar, bir önceki kenarı süsleyen doğal sayıdan daha büyük bir doğal sayı ile süslenir.P v 1 v 2GGGPPPv1v1v_1v2v2v_2 Bunun için bir uygulama otobüs veya tren programları olacaktır. İstasyonlar arasındaki …
3
“Turing makinesi yapabilen fiziksel şeyler” için bir isim var mı?
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 …
2
Önerme çözümü tam bir kanıt sistemi midir?
Bu soru önermenin mantığı ile ilgilidir ve bütün "çözüm" oluşumları "öneri çözüm" olarak okunmalıdır. Bu soru son derece basit bir şey ama bir süredir beni rahatsız ediyor. İnsanların önerme çözümünün tamamlandığını iddia ettiklerini görüyorum, ancak insanların çözümün eksik olduğunu iddia ettiklerini de görüyorum. Çözümün eksik olduğu duyguyu anlıyorum. İnsanların neden …
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
1
Bir problem NP'de nasıl olabilir, NP-sert olabilir ve NP-tam olmayabilir?
En uzun süredir, (1) NP-sert ve (2) NP ise, bir sorunun NP-tamamlanmış olduğunu düşündüm. Bununla birlikte, ünlü "Elipsoid yöntemi ve kombinatoryal optimizasyondaki sonuçları" makalesinde yazarlar, fraksiyonel kromatik sayı probleminin NP'ye ait olduğunu ve NP-zor olduğunu, ancak NP-tam olduğu bilinmemektedir. Makalenin üçüncü sayfasında yazarlar: ... bir grafiğin tepe paketleme sorun fraksiyonel …
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.