Pertanyaan yang diberi tag «computability»

Apa keterbatasan pemrograman fungsional total? Ini bukan Turing-complete, tetapi masih mendukung sebagian besar dari program yang mungkin. Apakah ada konstruksi penting yang bisa Anda tulis dalam bahasa Turing-lengkap, tetapi tidak dalam bahasa fungsional total? Dan apakah benar mengatakan bahwa program yang ditulis dalam bahasa fungsional total dapat sepenuhnya dianalisis secara …

19 computability  pl.programming-languages  functional-programming 

Sudah diketahui bahwa kombinator S dan K Turing Lengkap. Adakah kombinator yang cukup untuk menghasilkan (hanya) fungsi rekursif primitif?

19 lo.logic  computability 

Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Saya pernah membaca di suatu tempat bahwa mesin Turing tidak dapat menghitung ini dan karena itu tidak dapat diputuskan tetapi mengapa? Mengapa secara komputasi mustahil bagi mesin untuk menghasilkan pohon parse dan membuat keputusan? Mungkin saya salah dan itu bisa dilakukan?

19 computability  turing-machines  context-free 

Pertimbangkan , fungsi yang mengembalikan 1 iff nol muncul berurutan di . Sekarang seseorang memberi saya bukti bahwa dapat dihitung:n π f ( n )f( n )f(n)f(n)nnnππ\pif( n )f(n)f(n) Baik untuk semua n, muncul di , atau ada st muncul di dan tidak. Untuk kemungkinan pertama ; Untuk yang kedua …

19 computability 

Nah, judulnya cukup banyak mengatakan itu semua. Pertanyaan menarik di atas ditanyakan oleh komentator Jay di blog saya (lihat di sini dan di sini ). Saya menduga keduanya bahwa jawabannya adalah ya dan bahwa ada bukti yang relatif sederhana, tetapi saya tidak dapat melihatnya begitu saja. (Namun, secara kasar, orang …

18 computability  oracles  random-oracles 

Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang …

18 cc.complexity-theory  reference-request  computability  undecidability 

Saya tahu itu tidak mungkin untuk memutuskan equivalence untuk kalkulus lambda yang tidak diketik. Mengutip Barendregt, HP The Lambda Calculus: Sintaks dan Semantiknya. Holland Utara, Amsterdam (1984). :ββ\beta Jika A dan B terpisah, seperangkat istilah lambda yang ditutup berdasarkan kesetaraan, maka A dan B tidak dapat dipisahkan secara rekursif. Oleh …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Saya melihat banyak penelitian tentang hiperkomputasi pada tahun 1990-an, tetapi dalam beberapa tahun terakhir tampaknya ada sedikit pekerjaan pada topik tersebut. Benarkah penelitian di bidang ini mereda? Jika demikian, apa alasannya? Apakah area ini secara meyakinkan terbukti tidak menjanjikan?

18 reference-request  computability  hypercomputation 

( N + 1 ) n(n+1)(n + 1) poin diperlukan untuk secara unik menentukan polinomial derajat ; misalnya, dua titik di pesawat menentukan dengan tepat satu garis.nn Berapa banyak poin yang diperlukan untuk secara unik menentukan fungsi yang dapat dihitung , mengingat lamanya program yang menghitung dalam bahasa tetap? (Yaitu …

18 cc.complexity-theory  computability 

Banyak teorema dan "paradoks" - diagonalisasi Cantor, ketidakpastian hatling, tidak dihargai kompleksitas Kolmogorov, Gödel Incompleteness, Chaitin Incompleteness, paradox Russell, dll. - semua pada dasarnya memiliki bukti yang sama dengan diagonisasi (perhatikan bahwa ini lebih spesifik daripada yang mereka dapat lakukan) semua dibuktikan dengan diagonalisasi, melainkan merasa bahwa semua teorema ini …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Saya mencari kombinator universal terkecil yang mungkin , diukur dengan jumlah abstraksi dan aplikasi yang diperlukan untuk menentukan kombinator tersebut dalam kalkulus lambda . Contoh-contoh kombinator universal meliputi: ukuran 23: λf.f (fS (KKKI)) K ukuran 18: λf.f (fS (KK)) K ukuran 14: λf.fKSK ukuran 12: λf.fS (λxyz.x) ukuran 11: λf.fSK …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Labirin fraktal adalah labirin yang berisi salinan dirinya sendiri. Misalnya, yang berikut oleh Mark JP Wolf dari artikel ini : Mulailah di MINUS dan lanjutkan ke PLUS. Saat Anda memasukkan salinan labirin yang lebih kecil, pastikan untuk mencatat nama surat salinan itu, karena Anda harus meninggalkan salinan ini di jalan …

17 computability  fractals 

Komputasi berlebihan mengacu pada model komputasi yang tidak mungkin untuk disimulasikan menggunakan mesin Turing. (Hypercomputer belum tentu dapat direalisasikan secara fisik!) Beberapa hypercomputer memiliki akses ke sumber daya yang memungkinkan Masalah Pemutusan untuk mesin Turing standar dapat diselesaikan. Sebut ini "kekuatan super": komputer super dengan kekuatan super dapat memutuskan apakah …

17 computability  hypercomputation