Saya terjebak menyelesaikan latihan berikutnya: Berargumen bahwa jika bebas konteks dan teratur, maka (yaitu hasil bagi yang tepat ) bebas konteks.R L / R = { w ∣ ∃ x ∈ RL.LLRRRL / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Saya...
Berikut bebas konteks tata bahasa hadiah sebuah "menggantung lain" jenis ambiguitas (membayangkan bahwa singkatan dan singkatan dan adalah singkatan dari beberapa jenis lain dari instruksi atau blok): \ begin {selaras} S & \ Rightarrow aSbS \; | \; aS \; | \; c \\ \ end {aligned} Misalnya,...
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 artikel Parsing Expressions by Recursive Descent oleh Theodore Norvell (1999) penulis mulai dengan tata bahasa berikut untuk ekspresi aritmatika: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v yang sangat buruk, karena ambigu dan kiri-rekursif. Jadi dia...
Di perguruan tinggi kami telah belajar tentang teori komputasi secara umum dan mesin Turing lebih khusus. Salah satu hasil teoretis yang hebat adalah bahwa dengan mengorbankan alfabet (simbol) yang berpotensi besar, Anda dapat mengurangi jumlah status menjadi hanya 2. Saya mencari contoh Mesin...
Apakah ada seperangkat aturan atau metode untuk mengubah tata bahasa bebas konteks apa pun menjadi automata push down? Saya sudah menemukan beberapa slide online tetapi saya tidak dapat memahaminya. Dalam slide 10 dia berbicara tentang beberapa aturan, adakah yang bisa
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Di kelas minggu ini kita telah belajar tentang CFL dan properti penutupannya. Saya telah melihat bukti untuk persatuan, persimpangan dan pujian tetapi untuk pembalikan dosen saya hanya mengatakan itu ditutup. Saya ingin melihat buktinya jadi saya sudah mencari selama beberapa hari terakhir, tetapi...
Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti...
Apakah bahasanya L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bebas konteks? Saya percaya bahwa jawabannya adalah itu bukan CFL, tapi saya tidak bisa membuktikannya dengan lemma Ogden atau Pumping
Apakah bahasa bebas konteks?L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} Saya kira itu bukan konteks bebas karena tampaknya terlalu rumit untuk PDA untuk memutuskan apakah 2 angka adalah co-prime atau tidak. Saya mencoba...
Menurut grafik ini , DCFL ditutup di bawah pembalikan. Namun, saya tidak yakin sebagai bukti intuitif (membalikkan panah dari mesin negara hingga dan mengalihkan dorongan dan muncul) untuk ini tampaknya tergantung pada non-determinisme dalam memilih transisi nol untuk mengambil dari keadaan awal...
Tentukan kesetaraan Nerode di atas bahasa sebagai iff untuk setiap .L⊆Σ∗L.⊆Σ∗L \subseteq \Sigma^{*}u∼Lvkamu∼L.vu \sim_L vuw∈L⇔vw∈Lkamuw∈L.⇔vw∈L.uw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Nerode ekivalen memiliki banyak kelas ekivalensi tepat ketika dapat dikenali oleh otomat...