Pertanyaan yang diberi tag «computability»

Dalam pengalaman saya, bahasa yang peka konteks dan automata terbatas linier sering dilewati atau dilompati dalam mata kuliah teori komputabilitas, dan bahkan ditinggalkan dari beberapa buku teks terkemuka, meskipun automata terbatas dan pushdown menerima banyak perhatian. Tentunya harus ada alasan bagus mengapa BBA diberikan lebih sedikit fokus daripada rekan-rekan mereka?

9 computability  fl.formal-languages  automata-theory 

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Apakah ada konstruksi eksplisit singkat dari fungsi rekursif universal ? Semua definisi yang saya lihat melibatkan penomoran …

9 lo.logic  computability  pl.programming-languages 

Dalam Computability, jika kita ingin membuktikan bahwa masalah tidak rekursif atau tidak dihitung secara rekursif, kita dapat menggunakan misalnya pengurangan dari masalah non-rekursif atau non-re lainnya, teorema Rice, teorema Rice-Shapiro, dll. Teknik-teknik ini bekerja berkat , atau secara langsung didasarkan pada, adanya beberapa argumen diagonal (yaitu beberapa program berperilaku sebaliknya …

8 cc.complexity-theory  computability 

Saya sudah lama bertanya-tanya tentang asal-usul nama "kebal" dan "sederhana". Saya juga mengajukan pertanyaan yang sama kepada Andrea Sorbi, yang pada gilirannya melibatkan beberapa rekan kerja lagi dalam diskusi. Tentang "sederhana" kami memiliki beberapa dugaan. Martin Davis mengemukakan bahwa namanya berasal dari analogi dengan kelompok-kelompok sederhana. Grup sederhana tidak memiliki …

8 reference-request  lo.logic  computability  philosophy 

Apakah ada generalisasi game GO yang dikenal sebagai Turing lengkap? Jika tidak, apakah Anda memiliki beberapa saran tentang aturan (generalisasi) yang masuk akal yang dapat digunakan untuk mencoba membuktikan bahwa itu Turing lengkap? Yang jelas adalah bahwa permainan harus dimainkan di papan infinite (kuadran positif). Tapi bagaimana dengan bermain di …

8 computability  turing-machines 

Bahasa whileprogram dapat mengekspresikan fungsi yang dapat dihitung secara komputasi. (Ini benar bahkan jika satu-satunya operasi aritmatika pada variabel adalah, katakanlah, kenaikan dan pengurangan.) Jika whiledigantikan oleh for, membuat loop selalu dibatasi, bahasa kemudian hanya dapat mengekspresikan fungsi rekursif primitif. Baru-baru ini saya menjadi sadar akan kelas fungsi-fungsi dasar , …

8 cc.complexity-theory  computability  pl.programming-languages 

Banyak hasil dalam kriptografi bergantung pada hasil / dugaan ketidakmungkinan dalam teori kompleksitas. Sebagai contoh, kriptografi kunci publik menggunakan RSA diyakini dimungkinkan karena dugaan tentang tidak layaknya anjak piutang (dan masalah pencarian akar modular). Pertanyaanku adalah : apakah kita memiliki hasil yang serupa dalam teori komputabilitas? Apakah ada konstruksi positif …

8 cc.complexity-theory  cr.crypto-security  computability 

Saya mencoba mengembangkan beberapa gagasan tentang perbedaan-kalkulus antara Mesin Ideal Turing ideal yang dikandung oleh pengembang (mis. Apa pun yang dimaksudkan oleh pengembang perangkat lunak), sebut saja , dan Mesin yang mewakili perangkat lunak yang sebenarnya dirancang dan diimplementasikan , katakan masing-masing dan .MIMIM_IMαMαM_\alphaMβMβM_\beta Secara khusus, minat saya adalah meneliti …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification