Pertanyaan yang diberi tag «terminology»

Dalam Teori Komputasi Michael Sipser di halaman 270 ia menulis: P = kelas bahasa yang keanggotaannya dapat diputuskan dengan cepat. NP = kelas bahasa yang keanggotaannya dapat diverifikasi dengan cepat. Apa perbedaan antara "memutuskan" dan "diverifikasi"?

16 complexity-theory  terminology  decision-problem 

Menurut Wikipedia : Informal, dari sudut pandang teori informasi algoritma, isi informasi dari string setara dengan panjang mungkin representasi mandiri terpendek dari string. Apa analog definisi ketat informal "informasi yang berguna"? Mengapa "informasi yang berguna" tidak diambil sebagai konsep yang lebih alami atau yang lebih mendasar; naif tampaknya murni string …

16 information-theory  terminology  kolmogorov-complexity 

Saya jadi tahu bahwa unit pemrosesan grafis memiliki sesuatu yang disebut memory coalescing. Saat membacanya saya tidak jelas tentang topiknya. Apakah ini ada hubungannya dengan Memory Level Parallelism. Saya telah mencari di Google tetapi tidak dapat memperoleh jawaban yang memuaskan. Akan sangat membantu jika seseorang memberikan penjelasan yang lebih komprehensif, …

16 terminology  reference-request  computer-architecture  memory-management 

Saya tidak jelas tentang penggunaan frasa "tak terbatas" bahasa atau "terbatas" bahasa dalam teori komputer. Saya pikir akar masalahnya adalah bahwa bahasa seperti tidak terbatas dalam arti bahwa ia dapat menghasilkan jumlah string yang tak terbatas (tetapi dapat dihitung). Namun, itu masih dapat dikenali oleh otomat keadaan terbatas .L={ab}∗L={ab}∗L=\{ab\}^* Juga …

16 formal-languages  terminology  regular-languages 

Saya menemukan algoritma untuk memecahkan masalah dunia nyata, dan saya ingat kelas yang saya ambil di mana saya membuat sesuatu yang sangat mirip untuk beberapa masalah pekerjaan rumah. Pada dasarnya ini adalah plot poin, dan garis-garisnya ditarik agar berjarak sama antara dua poin. Ini membentuk partisi sempurna di mana garis-garis …

15 algorithms  data-structures  terminology  computational-geometry 

Untuk mengukur kompleksitas suatu algoritma, apakah itu kompleksitas waktu, atau kompleksitas komputasi? Apa perbedaan di antara mereka? Saya biasa menghitung jumlah maksimum (terburuk) operasi dasar (paling mahal) dalam algoritma.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Apakah ada perbedaan di antara keduanya? Sesuai dengan buku Ullman , kompiler mengonversi satu bahasa ke bahasa lain (biasanya tingkat rendah), dan begitu juga assembler. Bagaimana keduanya berbeda?

14 terminology  compilers 

Dari Wikipedia tentang algoritma acak Kita harus membedakan antara algoritma yang menggunakan input acak untuk mengurangi waktu berjalan yang diharapkan atau penggunaan memori, tetapi selalu berakhir dengan hasil yang benar dalam jumlah waktu yang terbatas, dan algoritma probabilistik , yang, tergantung pada input acak, memiliki peluang menghasilkan hasil yang salah …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Saya mencoba belajar sendiri tentang penggunaan bison. Halaman manual bison (1) mengatakan tentang bison: Hasilkan parser LR deterministik atau LR (GLR) umum yang menggunakan LALR (1), IELR (1), atau tabel parser LR (1) kanonik. Apa itu parser IELR? Semua artikel relevan yang saya temukan di world wide web adalah paywalled.

14 formal-languages  terminology  formal-grammars  parsers 

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Saya agak bingung tentang apa sebenarnya arti 'kunci' dalam ilmu komputer. Saya memahami pasangan nilai kunci, kunci primer, dll ... Tapi saya tidak dapat menemukan definisi dari apa arti istilah 'kunci' dengan sendirinya. Sejauh yang saya tahu itu hanya sepotong data. Dalam CLRS, data yang terkait dengan simpul pohon disebut …

14 terminology 

Saat melakukan kata kode kedua (yang meminta Anda untuk menerapkan algoritma pencarian biner lima kali, setiap kali dengan metode yang berbeda), saya telah menghasilkan solusi yang sedikit berbeda yang berfungsi sebagai berikut: Jika saya memiliki array yang disortir dengan panjang 100 dan saya melihat bidang awalnya berisi angka 200 dan …

14 algorithms  terminology  search-algorithms  binary-search 

Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh mesin, yang seharusnya (saya pikir?) Menjadi deterministik. Dengan cara ini, …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Saya mempelajari bahasa formal dan sistem basis produksi (sistem basis aturan) dan saya sedikit bingung mengapa dua kata "produksi" dan "aturan" ini memiliki arti yang sama dalam banyak konteks dalam Ilmu Komputer. Dalam Bahasa Inggris mereka tampaknya tidak berarti hal yang sama. Saya bukan penutur asli bahasa Inggris, tetapi saya …

13 formal-languages  terminology  automata  finite-automata  formal-grammars