Pertanyaan yang diberi tag «computation-models»

Biarkan string input diberikan sebagai . Kemudian jika NFA saat ini dalam keadaan r (dan telah membaca input hingga alfabet w i ) maka sebelum membaca simbol input berikutnya NFA terbagi menjadi dua NFA, satu berada di keadaan r dan yang lainnya di s , jika ada transisi dari tipe …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Setahu saya tidak ada algoritma kasus terburuk yang memecahkan masalah berikut:O(n)O(n)O(n) Dengan urutan panjang terdiri dari bilangan bulat terbatas, temukan permutasi di mana setiap elemen kurang dari atau sama dengan penggantinya.nnn Tetapi apakah ada bukti bahwa itu tidak ada, dalam model komputasi transdichotomous ? Perhatikan bahwa saya tidak membatasi rentang …

9 complexity-theory  sorting  computation-models  lower-bounds 

Ini adalah tindak lanjut dari pertanyaan lain di sini , dan saya harap itu tidak terlalu filosofis. Seperti yang ditunjukkan oleh Raphael dalam komentar pada pertanyaan saya sebelumnya, saya tidak benar-benar mendapatkan definisi "computable", tetapi menurut beberapa makalah yang saya baca, definisi itu juga tidak begitu jelas dalam hal model …

9 computability  computation-models 

Saya ingin mengutip dari Nielsen & Chuang, Komputasi Quantum dan Informasi Quantum, edisi ulang tahun ke 10, halaman 5 (penekanan pada saya): Satu kelas tantangan untuk tesis Gereja-Turing yang kuat berasal dari bidang perhitungan analog. Pada tahun-tahun sejak Turing, banyak tim peneliti yang berbeda telah memperhatikan bahwa beberapa jenis komputer …

9 computation-models  church-turing-thesis 

Dalam pertanyaan sebelumnya Apa sebenarnya algoritma itu? , Saya bertanya apakah memiliki "algoritma" yang mengembalikan nilai fungsi berdasarkan array nilai yang dihitung adalah algoritma. Salah satu jawaban yang menarik perhatian saya adalah yang ini: Contoh faktorial masuk ke model perhitungan yang berbeda, yang disebut perhitungan tidak seragam. Mesin Turing adalah …

9 turing-machines  computation-models 

Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara bersamaan menggunakan roda gigi. Ketika salah satu dari bit-bit …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Komputer dan bahasa pemrograman cenderung bersifat deterministik dan dapat diprediksi. Namun progress bar tampaknya bertolak belakang, terutama jika …

8 computation-models 

Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang sama seperti mesin negara terbatas. Mereka tampak sangat berbeda: Finite State Machines, bagaimanapun, memiliki …

8 complexity-theory  turing-machines  computation-models  circuits 

Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah The Actor Model merupakan alternatif mesin Menghidupkan penuh sebagai model komputasi? …

8 terminology  computability  reference-request  programming-languages  computation-models 

Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua string di AAA (himpunan semua urutan terurut x1x1x_1 x2x2x_2... mana dan berada …

7 formal-languages  turing-machines  computation-models