Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer


7
Apakah
Jika A2A2A^2 teratur, apakah itu mengikuti bahwa AAA teratur? Upaya saya pada bukti: Ya, untuk kontradiksi anggaplah bahwa AAA tidak teratur. Kemudian A2=A⋅AA2=A⋅AA^2 = A \cdot A . Karena penggabungan dua bahasa non-reguler adalah tidak biasa, A2A2A^2 tidak dapat teratur. Ini bertentangan dengan asumsi kami. Jadi AAA biasa. Jadi jika …

3
Perbedaan antara kepala dan ekor
Pertimbangkan urutan membalik koin yang tidak bias. Misalkan menunjukkan nilai absolut dari selisih jumlah kepala lebih ekor terlihat di pertama membalik. Tentukan . Tunjukkan bahwa dan .nnnHiHiH_iiiiH=maxiHiH=maxiHiH=\text{max}_i H_iE[Hi]=Θ(i√)E[Hi]=Θ(i)E[H_i]=\Theta ( \sqrt{i} )E[H]=Θ(n−−√)E[H]=Θ(n)E[H]=\Theta( \sqrt{n} ) Masalah ini muncul di bab pertama `Algoritma acak 'oleh Raghavan dan Motwani, jadi mungkin ada bukti dasar …

1
Gödelisasi dalam Mesin Turing
Saya melihat Gödelization dalam kursus Theory of Computation. Saya dapat memahami konsep penomoran Gödel, tetapi tidak dapat memahami pentingnya konsep Theory of Computation. Adakah yang bisa tolong tunjukkan beberapa bahan yang baik atau tunjukkan pentingnya.


4
Dapatkah seseorang memberikan contoh sederhana namun non-mainan dari tata bahasa konteks-sensitif?
Saya mencoba memahami tata bahasa konteks-sensitif. Saya mengerti mengapa bahasa disukai { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} bukan konteks bebas, tetapi apa yang ingin saya ketahui jika bahasa yang mirip dengan kalkulus lambda yang tidak …



4
Membandingkan bilangan rasional
Diberikan dan , b , d ∉ { 0 }a,b,c,d∈Na,b,c,d∈Na,b,c,d \in \mathbb Nb,d∉{0}b,d∉{0}b,d \notin \{0\} ab&lt;cd⟺ad&lt;cbab&lt;cd⟺ad&lt;cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} Pertanyaan saya adalah: Diberikana,b,c,da,b,c,da,b,c,d Dengan asumsi kita dapat memutuskan dalam , apakah ada cara untuk memutuskan tanpa harus terlebih dahulu membentuk …



2
Apakah Pengurangan Karp identik dengan Pengurangan Levin
Definisi: Pengurangan Karp Bahasa adalah Karp dapat direduksi menjadi bahasa jika ada fungsi yang dapat dihitung polinomial waktu sedemikian rupa sehingga untuk setiap , jika dan hanya jika .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definisi: Pengurangan Levin Masalah pencarian adalah Levin dapat direduksi menjadi masalah pencarian jika ada fungsi waktu polinom sehingga Karp …



2
Apakah bahasa Ekspresi Reguler memerlukan push down automata untuk menguraikannya?
Saya ingin mengubah pengguna memasukkan ekspresi reguler ke NFA sehingga saya kemudian dapat menjalankan NFA terhadap string untuk tujuan yang cocok. Apa mesin minimum yang dapat digunakan untuk mem-parsing ekspresi reguler? Saya menganggap itu harus berupa push down automaton karena keberadaan kurung berarti kebutuhan untuk menghitung dan DFA / NFA …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.