«computation-models» etiketlenmiş sorular

Hesaplama için kullanılan izin verilen işlem kümesinin tanımı ve maliyetleri. Bazı model örnekleri Turing makineleri, özyinelemeli fonksiyonlar, lambda hesabı ve üretim sistemlerini içerir.


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 …

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. …


7
Çok çekirdekli işlemcide yapılması gereken bir şey var mı?
Programımızın ne kadar çok dostu olduğunu düşünürken ekibim, tek çekirdekli bir işlemcide kesinlikle yapılamayacak bir şey olup olmadığını düşündü . Grafik işlemenin büyük ölçüde paralel işlem gerektirdiğini belirttim, ancak DOOM gibi işlemlerin GPU'suz tek çekirdekli işlemcilerde yapıldığını iddia ediyorlar. Çok çekirdekli bir işlemcide yapılması gereken herhangi bir şey var mı …

3
Algoritma karmaşıklığı işlevsel diller için nasıl modellenir?
Algoritma karmaşıklığı daha düşük seviye detaylarından bağımsız olacak şekilde tasarlanmıştır, ancak zorunlu bir modele dayanır, örneğin bir dizideki erişime ve bir ağaçtaki bir düğümü değiştirme O (1) zaman alır. Bu, saf işlevsel dillerde geçerli değildir. Haskell listesi erişim için doğrusal zaman alır. Ağaçtaki bir düğümü değiştirmek, ağacın yeni bir kopyasını …

2
Kuantum lambda taşı
Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır. Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. …

7
Randomize ve karakteristik olmayan algoritmalar arasındaki farklar ve ilişkiler?
Randomize algoritmalar ve klasik olmayan algoritmalar arasındaki farklar ve ilişkiler nelerdir? Vikipedi'den Bir randomize algoritma onun mantığı bir parçası olarak rastgelelik derecesi kullanan bir algoritmadır. Algoritma, tipik olarak, rastgele bitlerin tüm olası seçimlerinde "ortalama durumda" iyi performans elde etmek umuduyla, davranışını yönlendirmek için yardımcı girdi olarak düzgün rastgele bitler kullanır. …

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
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 

6
Turing Makinesi ile ilgili fiziksel bir benzetme var mı?
Geçenlerde CS sınıfımda Turing Makinesi ile tanıştım. Dersten sonra, bir bantla makine arasındaki ilişkinin ne olduğunu anlamaya çalışmak için 2 saatimi harcadım. Bilgisayar kasetlerinin varlığından ya da kasetlerin ve makinelerin bugüne kadar nasıl etkileşime geçtiğinin farkında değildim. Bir makinenin neden kaset okuduğunu hala göremiyorum ama bir tarayıcı, kağıdın bant olarak …

8
Her ifadenin anlamlı olduğu programlama dili
Tavsiyeye göre bunu Stack Overflow'tan tekrar gönderiyorum . Son zamanlarda aşağıdaki konuyu düşünüyorum. Standart bir "Merhaba dünya!" Kodunu düşünün. Program: main() { printf("Hello World"); } Şimdi bu koddaki hemen hemen her değişiklik onu tamamen işe yaramaz hale getirecek, aslında hemen hemen her değişiklik kodun derlenmesini önleyecektir. Örneğin: main(5 { printf("Hello …

5
Duruş Problemi, daha üst düzey bir hesaplama tanımından kaçarak “çözülebilir” mi?
Son zamanlarda, Turing'in durma sorununun kararsızlığına dair kanıtının Russell'ın berber paradoksuna çok benzediğini belirten ilginç bir benzetme duydum. Merak ettim: matematikçiler sonunda Cantor'un alanın naif formülasyonundan daha karmaşık bir aksiyom sistemine (ZFC set teorisi) geçerek, önemli dışlamalar (kısıtlamalar) ve yol boyunca eklemeler yaparak set teorisini tutarlı hale getirmeyi başardılar. Bu …

3
İki hesaplama modelinin eşdeğer olduğunu nasıl gösteririm?
Biri iki hesaplama modelinin eşdeğer olduğunu nasıl kanıtlayabileceğine dair açıklama arıyorum. Bu konuda denklik kanıtı çıkarılmaması dışında kitap okuyorum. İki hesaplama modelinin eşdeğer olmasının ne anlama geldiğine dair temel bir fikrim var (otomata görünümü: aynı dilleri kabul ederse). Eşdeğerliği düşünmenin başka yolları var mı? Turing-makine modelinin lambda hesabına eşdeğer olduğunu …

1
Belirsizlikten ekstra güç kazanmayan bağlamsız diller için makineler
Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir. İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer …

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.