«terminology» etiketlenmiş sorular

Özel kavramların nasıl anlaşılması gerektiği ve gösterim kuralları hakkında sorular.

2
Neden normal bir dile 'düzenli' deniyor?
Sadece ilk bölüm tamamlayan Hesaplama Teorisine Giriş tarafından Michael Sipser sonlu otomata temellerini açıklar. Düzenli bir dili sonlu bir otomat tarafından tanımlanabilecek herhangi bir şey olarak tanımlar. Ama neden normal bir dilin "düzenli" olarak adlandırıldığını açıkladığını nerede bulamadım? Bu bağlamda "normal" teriminin kökeni nedir? NOT: Acemiyim, lütfen basit bir şekilde …
2
“Bağlamsız dilbilgisi” ndeki “bağlam” ne demektir?
Bağlamsız Dilbilgisinin ne olduğu hakkında çevrimiçi birçok tanım var, ancak bulduğum hiçbir şey birincil sorunumu tatmin etmiyor: Hangi bağlamda özgür? Araştırmak için, "bağlam duyarlı dilbilgisi" kelimesini Googled'im ama yine de "bağlam" ın neyle ilgili olduğunu bulamadım. Birisi lütfen contextbu isimlerde terimin ne anlama geldiğini açıklayabilir mi?
9
Bilgisayar bilimi ve bilgisayar okuryazarlığı arasındaki farkın açıklanması [kapalı]
İngilizceye klasik bilgisayar bilimi ile "MS-Windows kullanarak iyi olmak" arasındaki farkı açıklamak için iyi bir metafor veya örnek nedir? bilgisayar Bilimi bilgisayar Programlama bilgisayarları kullanmak 3 derinden farklı şeyler. Çoğu insan, Bilgisayar Bilimi'nin ne olduğu hakkında hiçbir fikre sahip değildir. Sadece "bilgisayar" kelimesini görüyorlar. Bu nedenle, "O bir Bilgisayar Bilimi …
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. …
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 
2
'Gerçek eşzamanlılık' ne anlama geliyor?
Sık sık 'gerçek eşzamanlılık semantiği' ve 'gerçek eşzamanlılık denklikleri' gibi ifadeler referans olmadan duyuyorum. Bu terimler ne anlama geliyor ve neden önemlidir? Bazı gerçek eşzamanlılık denkliği örnekleri nelerdir ve bunlara ihtiyaç duyulan nedir? Örneğin, hangi durumlarda daha fazla standart denklikten daha uygundurlar (bisimülasyon, iz denkliği, vb.)?
5
Bir turing makinesi ve sonlu durumlu bir makine arasındaki fark?
Turing makineleri hakkında bir sunum yapıyorum ve Turing Machines'i tanıtmadan önce FSM'lerde biraz bilgi vermek istiyorum. Sorun şu ki, birbirinden çok farklı olanı gerçekten bilmiyorum. İşte farklı olduğunu bildiğim şey: FSM, karşılaşılan karşılık gelen duruma bağlı olarak sıralı durumlara sahiptir; Turing makineleri, sonsuz bir "Bant" üzerinde okunan ve yazan bir …
3
Aşamalı fonksiyonlar nelerdir (kavramsal olarak)?
Yakın tarihli bir CACM makalesinde [1], yazarlar aşamalı işlevler için bir uygulama sunmuştur . Terimi iyi bilinen bir terim olarak kullanıyorlar ve referansların hiçbiri açık bir giriş gibi görünmüyor. Kısa bir açıklama yaparlar (vurgunun madeni ve referans numarası değiştirildi; aslında 22 oldu) Program oluşturma bağlamında, Taha ve Sheard [2] tarafından …
1
Karar Verme Prosedürü ile SMT Çözücü ve Teorem Düzeltici - Sınırlayıcı Çözücü
Bu terminolojiler beni şaşırtıyor. Anladığım kadarıyla SAT çözücü: teklif mantığının karşılanabilirliğine karar verin (DPLL veya Yerel Arama kullanarak). Karar prosedürü, belirli bir karar verilebilir birinci dereceden teorisinin karşılanabilirliğine karar verme prosedürüdür. SMT çözücü bir SAT çözücü + karar prosedürüdür. Teorem prover Dinamik Mantık gibi bir şey gösterir, örneğin KeY aracı …
2
“NP-komple” optimizasyon problemleri
Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Optimizasyon problemlerinin karmaşıklığı ile ilgili karşılaştığım bazı terimlerle biraz kafam karıştı. Bir algoritma dersinde, NP-tamam olarak tanımlanan büyük parazit sorunu vardı . Ancak, NP-tamamlama teriminin bir optimizasyon problemi bağlamında ne …
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.