Pertanyaan yang diberi tag formal-languages

15
Menemukan contoh bahasa yang “anti-palindromic”

Biarkan Σ = { 0 , 1 } . Sebuah bahasa L ⊆ Σ * dikatakan memiliki "anti-palindrom" properti jika untuk setiap string yang w yang palindrom, w ∉ L . Selain itu, untuk setiap string yang u yang tidak sebuah palindrom baik u ∈ L atau R e v e r s e ( u ) ∈ L , tapi tidak keduanya (!) (Eksklusif...

15
Operasi bintang Kleene pada bahasa kosong

Dalam buku teks saya disebutkan bahwa: mana adalah bahasa kosong.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Namun, kita tahu bahwa L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , di mana LLL adalah Bahasa apa pun. Saya tidak dapat memahami konsep ini secara intuitif karena operasi bintang Kleene...

14
Kapan

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k ."L R (...

14
Kompleksitas komputasi vs. hierarki Chomsky

Saya bertanya-tanya tentang hubungan antara kompleksitas komputasi dan hierarki Chomsky, secara umum. Secara khusus, jika saya tahu bahwa beberapa masalah adalah NP-complete, apakah itu mengikuti bahwa bahasa masalah itu tidak bebas konteks? Misalnya, masalah klik adalah NP-lengkap. Apakah itu...

14
Apa itu IARR (1) -parser?

Saya mencoba belajar sendiri tentang penggunaan bison. Halaman manual bison (1) mengatakan tentang bison: Hasilkan parser LR deterministik atau LR (GLR) umum yang menggunakan LALR (1), IELR (1), atau tabel parser LR (1) kanonik. Apa itu parser IELR? Semua artikel relevan yang saya temukan di...

13
apa itu semantik?

Ada banyak bahasa populer. Tetapi, para ilmuwan komputer memberi tahu kita bahwa untuk memahami perilaku program dalam bahasa-bahasa itu dengan jelas dan jelas mendebatkan perilaku program (misalnya membuktikan identitas mereka), kita perlu menerjemahkannya ke bahasa lain yang dipahami dengan baik....