Pertanyaan yang diberi tag «reference-question»

Saya telah menjadi kutu buku komputer selama bertahun-tahun. Saya dapat memprogram dalam beberapa bahasa, dan saya bahkan dapat membuatnya. Saya duduk dengan seorang teman di suatu hari dan bertanya bagaimana sebuah komputer benar-benar mengambil listrik dan melakukan sesuatu dengan itu, dan kami tidak bisa memahaminya, dan Google juga tidak banyak …

40 computer-architecture  education  reference-question 

Asumsikan saya memiliki daftar fungsi, misalnya nloglog( n ), 2n, n ! , n3, n lnn , ...nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Bagaimana cara saya mengurutkannya asimptotik, yaitu setelah relasi didefinisikan oleh f≤HAIg⟺f∈ O ( g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , dengan …

35 asymptotics  landau-notation  reference-question 

Ini mungkin terdengar seperti pertanyaan bodoh, tetapi saya benar-benar ingin tahu bagaimana komputer mengetahui bahwa ? Juga, bagaimana komputer mengetahui bahwa urutan bilangan bulat adalah dan alfabet adalah A, B, C, D, ...? Apakah di suatu tempat tersimpan di perangkat keras atau apakah sistem operasi menyediakan informasi semacam ini?1&lt;21&lt;21<21,2,3,4,5,…1,2,3,4,5,...1,2,3,4,5,\ldots

34 computer-architecture  reference-question 

Hari ini kita membahas dalam sebuah kuliah algoritma yang sangat sederhana untuk menemukan elemen dalam array yang diurutkan menggunakan pencarian biner . Kami diminta untuk menentukan kompleksitas asimtotik untuk array elemen.nnn Ide saya adalah, bahwa itu adalah , atau lebih spesifik karena adalah jumlah operasi dalam kasus terburuk. Tapi saya …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Ada banyak teknik untuk membuktikan bahwa bahasa adalah tidak bebas konteks, tapi bagaimana saya membuktikan bahwa bahasa adalah bebas konteks? Teknik apa yang ada untuk membuktikan ini? Jelas, salah satu caranya adalah dengan menunjukkan tata bahasa bebas konteks untuk bahasa tersebut. Apakah ada teknik sistematis untuk menemukan tata bahasa bebas …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar , yaitu menghasilkan kata-kata yang diinginkan secara …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Dalam kursus Teori Komputasi saya, banyak masalah kami melibatkan penggunaan induksi pada panjang string input untuk membuktikan pernyataan tentang automata terbatas. Saya mengerti induksi matematika, namun ketika string mulai dimainkan, saya benar-benar tersandung. Saya akan sangat menghargai jika seseorang akan melalui proses pembuatan bukti setahap demi setahap. Inilah contoh masalah …

20 automata  finite-automata  proof-techniques  reference-question  induction