DFA, NFA, dan epsilon NFA, ketiganya memungkinkan kami mewakili bahasa reguler tertentu. Dengan salah satu dari representasi tersebut kita dapat sampai pada ekspresi reguler yang sama, lalu mengapa kita perlu mempelajari ketiga bentuk representasi dari automata terbatas? Ada beberapa penjelasan...
Tumpukan Meldable Acak memiliki operasi "berbaur", yang kemudian kita gunakan untuk mendefinisikan semua operasi lain, termasuk memasukkan. Pertanyaannya adalah, berapa tinggi yang diharapkan dari pohon itu dengan nnn node? Teorema 1 dari Gambin dan Malinkowski, Antrian Prioritas Acak yang Dapat...
Hari ini saat makan siang, saya mengemukakan masalah ini dengan kolega saya, dan yang mengejutkan saya, argumen Jeff E. bahwa masalahnya tidak dapat meyakinkan mereka (di sini ada posting yang berkaitan erat dengan mathoverflow). Pernyataan masalah yang lebih mudah untuk dijelaskan ("adalah P =...
Pertanyaan ini muncul pada saya tentang masalah penghentian dan saya tidak dapat menemukan jawaban online yang bagus, bertanya-tanya apakah ada yang bisa membantu. Apakah mungkin bahwa masalah penghentian dapat diputuskan untuk setiap TM pada input apa pun asalkan inputnya bukan TM itu sendiri?...
Saya belajar tentang jalur terpanjang dan menemukan fakta bahwa jalur terpanjang dalam grafik umum tidak dapat dipecahkan oleh pemrograman dinamis karena masalahnya tidak memiliki substruktur optimal (yang saya pikir pernyataan itu perlu diperbaiki ke jalur sederhana terpanjang pada grafik umum...
Saya sedang memecahkan hubungan pengulangan. Hubungan perulangan pertama adalah T( n ) = 2 T( n / 2 ) + nT(n)=2T(n/2)+nT(n)=2T(n/2)+n Solusi yang satu ini dapat ditemukan oleh Master Theorem atau metode pengulangan pohon. Pohon perulangan akan seperti ini: Solusinya adalah: T( n ) =n + n...
Saya sedang mencari teknik implementasi untuk bahasa pemrograman, dan baru-baru ini menemukan tumpukan spaghetti, yang dianggap cocok untuk model gaya kelanjutan lewat (diberikan penggunaannya dalam misalnya Skema dan SML / NJ ). Demi kesederhanaan, mari kita hanya mempertimbangkan proses...
Saya ingin menghasilkan jalur terpendek ( akan kurang dari 10) antara semua pasangan dalam grafik. Grafiknya adalah (sebenarnya peta kereta bawah tanah):kkkkkk tertimbang positif tidak diarahkan jarang dengan sekitar 100 node Rencana saya saat ini adalah untuk menerapkan rute jalur terpendek ke...
Diberikan triangulasi (tanpa titik Steiner) dari poligon P sederhana PPP, orang dapat mempertimbangkan ganda triangulasi ini, yang didefinisikan sebagai berikut. Kami membuat simpul untuk setiap segitiga dalam triangulasi kami, dan kami menghubungkan dua simpul jika segitiga yang sesuai memiliki...
Ada pengurangan terkenal dan elegan dari masalah pencocokan bipartit maksimum untuk masalah max-aliran: kita membuat jaringan dengan node sumber , node terminal , dan satu node untuk setiap item untuk dicocokkan, lalu tambahkan tepi yang tepat.tsssttt Pasti ada cara untuk mengurangi aliran...
Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S,...
Jawaban untuk pertanyaan ini di Crypto Stack Exchange pada dasarnya mengatakan bahwa, untuk mengukur kompleksitas masalah logaritma, kita harus memperhitungkan panjang angka yang mewakili ukuran grup. Tampaknya sewenang-wenang, mengapa kita tidak memilih ukuran kelompok sebagai argumen? Adakah...
Sebuah graf bipartit adalah planar jika dan hanya jika ia tidak memiliki K3,3K3,3K_{3, 3} atau anak di bawah umur.K5K5K_5 Saya mencari kondisi yang diperlukan atau / dan cukup untuk memungkinkan gambar planar tanpa tepi "berkeliling" set simpul. Ini adalah gambar yang memuaskan: Semua simpul...
Saya memposting ini di MathUnderflow tetapi tidak mendapat jawaban, jadi saya pikir saya akan mencobanya di sini, Saya membaca kertas tua Rabin dan Fischer [akan memposting tautan bila memungkinkan] di mana antara lain, kompleksitas eksponensial ganda dari aritmatika Presburger terbukti. Buktinya...
Baru-baru ini saya bertanya-tanya apa yang akan terjadi jika kita membiarkan tata bahasa bebas konteks memiliki jumlah aturan yang tak terbatas. Jelas, jika kita mengizinkan seperangkat aturan tak terbatas seperti itu, setiap bahasa pada beberapa alfabet dapat dijelaskan oleh CFG dengan . Tetapi...
Dalam makalah Chris Okasaki, " Meratakan Combinators: Surviving Without Parentheses " ia menunjukkan bahwa dua combinator cukup dan diperlukan sebagai dasar untuk menyandikan ekspresi Turing-lengkap tanpa perlu operator aplikasi atau tanda kurung. Dibandingkan dengan pengkodean logika...
Saya mencoba memberikan bukti sebagai berikut: Untuk bahasa apapun SEBUAHSEBUAHA , terdapat bahasa BBB sehingga A ≤TBSEBUAH≤TBA \le_{\mathrm{T}} B tapi B ≰TA≰TSEBUAH\nleq_{\mathrm{T}} A . Saya berpikir untuk membiarkan BBB menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , tetapi saya menyadari bahwa tidak...
Misalkan Anda memperpanjang Kalkulus Konstruksi dengan "lubang" - yaitu, potongan kode tidak lengkap yang belum Anda isi. Saya ingin tahu apakah ada algoritma untuk mengisi peran itu secara otomatis. Misalnya (menggunakan sintaksis Morte ): Kasus A: λ (pred : ?) -> λ (Nat : *) -> λ (Succ...
Menurut sumber ini, konstanta Chaitin ΩΩ\Omega itu normal. Setiap probabilitas penghentian adalah bilangan real normal dan transendental yang tidak dapat dihitung, yang berarti bahwa tidak ada algoritma untuk menghitung digitnya. Memang, setiap probabilitas penghentian adalah acak Martin-Löf,...
Saya mencari definisi formal file yang tidak hanya mencakup penyimpanan tetapi juga abstraksi seperti procfs / / dev / null (atau file berbasis sekering) yang tidak berhubungan dengan penyimpanan. Sejauh ini saya tahu bahwa semua file adalah abstraksi itu dapat diidentifikasi dapat memiliki nama...