Logo ms.boatexistence.com

Apabila masalah p dikatakan separuh boleh diputuskan?

Isi kandungan:

Apabila masalah p dikatakan separuh boleh diputuskan?
Apabila masalah p dikatakan separuh boleh diputuskan?

Video: Apabila masalah p dikatakan separuh boleh diputuskan?

Video: Apabila masalah p dikatakan separuh boleh diputuskan?
Video: Nak Jadi Baik Tetapi Suka Onani - Ustaz Azhar Idrus 2024, Mungkin
Anonim

– Masalah keputusan P dikatakan separa boleh diputuskan (iaitu, mempunyai separa algoritma) jika bahasa L bagi semua contoh ya kepada P ialah r.e. – (Masalah kesetaraan untuk DFA) Memandangkan dua DFA, adakah mereka menerima bahasa yang sama? Bukti: Ingat kembali hujah Cantor dari Kuliah Pertama.

Apabila masalah dikatakan separuh boleh diputuskan?

Masalah Separuh Boleh Diputuskan ialah masalah yang mesin Turing dihentikan pada input yang diterima olehnya tetapi ia boleh berhenti atau menggelung selamanya pada input yang ditolak oleh Mesin Turing. Masalah sebegini disebut sebagai masalah Turing Recognizable.

Apakah masalah yang boleh diputuskan sebahagiannya?

Definisi: Satu bahasa yang berkaitan ialah bahasa yang boleh dikira secara rekursif. Pada masa yang sama, terdapat algoritma yang menghentikan dan mengeluarkan 1 untuk setiap kejadian yang mempunyai jawapan "ya", tetapi untuk keadaan yang mempunyai jawapan "tidak" dibenarkan sama ada untuk tidak berhenti atau berhenti dan mengeluarkan 0.

Adakah masalah terhenti sebahagiannya boleh diputuskan?

Alan Turing membuktikan pada tahun 1936 bahawa algoritma umum yang dijalankan pada mesin Turing yang menyelesaikan masalah terhenti untuk semua pasangan input program yang mungkin tidak semestinya tidak wujud. Oleh itu, masalah berhenti tidak dapat diputuskan untuk mesin Turing.

Mengapa masalah terhenti separa boleh diputuskan?

Sesuatu bahasa dikatakan Boleh Diputuskan Separuh jika wujud mesin Turing yang berhenti jika sesuatu perkataan tergolong dalam bahasa tersebut (kes YA) dan boleh menolak atau menjadi tidak terhingga gelung jika perkataan itu bukan kepunyaan bahasa (TIADA huruf besar).

Disyorkan: