Pertanyaan yang diberi tag «formal-grammars»

Orang sering mengatakan bahwa parser LR (k) lebih kuat daripada parser LL (k) . Pernyataan-pernyataan ini sebagian besar tidak jelas; khususnya, haruskah kita membandingkan kelas untuk tetap atau serikat atas semua ? Jadi bagaimana sebenarnya situasinya? Secara khusus, saya tertarik pada bagaimana LL (*) cocok.kkkkkk Sejauh yang saya tahu, set …

67 formal-languages  formal-grammars  parsers  reference-question 

Mari kita sebut bahasa bebas konteks deterministik jika dan hanya jika itu dapat diterima oleh otomat push-down deterministik, dan sebaliknya tidak deterministik. Mari kita sebut bahasa bebas konteks secara inheren ambigu jika dan hanya jika semua tata bahasa bebas konteks yang menghasilkan bahasa ambigu, dan tidak ambigu sebaliknya. Contoh bahasa …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti halnya untuk Mesin Turing), bagaimana bahasa …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Ada banyak definisi online tentang apa itu Tata Bahasa Bebas Konteks, tetapi tidak ada yang saya temukan yang memuaskan masalah utama saya: Konteks apa itu gratis? Untuk menyelidiki, saya mencari "tata bahasa sensitif konteks" di Google, tetapi saya masih gagal menemukan apa arti "konteks" itu. Bisakah seseorang tolong jelaskan apa …

30 terminology  context-free  formal-grammars 

Saya telah mempelajari kompiler untuk sementara waktu, dan saya telah mencari apa yang dimaksud dengan "konteks" dalam tata bahasa dan apa artinya bagi tata bahasa untuk menjadi "bebas konteks", tetapi tanpa hasil. Jadi, adakah yang bisa membantu dengan ini?

29 terminology  context-free  formal-grammars 

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Ada banyak teknik untuk membuktikan bahwa bahasa adalah tidak bebas konteks, tapi bagaimana saya membuktikan bahwa bahasa adalah bebas konteks? Teknik apa yang ada untuk membuktikan ini? Jelas, salah satu caranya adalah dengan menunjukkan tata bahasa bebas konteks untuk bahasa tersebut. Apakah ada teknik sistematis untuk menemukan tata bahasa bebas …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Masalah saya adalah bagaimana saya bisa membuktikan bahwa tata bahasa tidak ambigu? Saya memiliki tata bahasa sebagai berikut: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ …

25 context-free  formal-grammars  proof-techniques  ambiguity 

EPAL, bahasa bahkan palindrom, didefinisikan sebagai bahasa yang dihasilkan oleh tata bahasa bebas konteks berikut: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL adalah 'kutukan' dari banyak algoritma penguraian: Saya belum menemukan algoritma penguraian untuk CFG yang pasti yang …

23 formal-languages  formal-grammars  parsers 

Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar , yaitu menghasilkan kata-kata yang diinginkan secara …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya mencari teori matematika yang berhubungan dengan menggambarkan bahasa formal (serangkaian string) secara umum dan bukan hanya hierarki tata bahasa.

22 formal-languages  formal-grammars 

Dalam desain kompiler, mengapa rekursi kiri dihilangkan dalam tata bahasa? Saya membaca bahwa itu karena dapat menyebabkan rekursi yang tak terbatas, tetapi apakah itu tidak benar untuk tata bahasa rekursif yang tepat juga?

20 formal-grammars  compilers  left-recursion 

Mari kita pertimbangkan dua tata bahasa bebas konteks dan G 2 dan tanyakan pertanyaan berikut: Apakah L ( G 1 ) = L ( G 2 ) , yaitu, apakah kedua tata bahasa setara?G1G1G_1G2G2G_2L ( G1) = L ( G2)L.(G1)=L.(G2)L(G_1) = L(G_2) Secara umum, masalah ini tidak dapat dipastikan. Namun, …

19 formal-languages  context-free  formal-grammars 

Menurut artikel Wikipedia ini , tata bahasa tidak terbatas setara dengan mesin Turing. Artikel tersebut mencatat bahwa saya dapat mengubah mesin Turing apa pun menjadi tata bahasa yang tidak dibatasi, tetapi hanya menunjukkan cara mengubah tata bahasa menjadi mesin Turing. Bagaimana saya melakukan itu dan mengubah mesin Turing yang mengenali …

19 formal-grammars  turing-machines  simulation 

Bisakah tata bahasa bebas konteks menyertakan "keadaan mati" dari otomat, seperti G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({Sebuah,b,c},{SEBUAH,B,C},{SEBUAH→SebuahB,B→b,B→C,C→cC},SEBUAH)?G = \big(\{a, …

18 context-free  automata  formal-grammars