คำถามติดแท็ก context-sensitive

เมื่อพิจารณาถึงรูปแบบการคำนวณของเครื่องจักรลำดับชั้นของ Chomsky นั้นมีลักษณะตามปกติ (ตามลำดับ), ออโตไฟไนต์, ออโตมาตาแบบกดลง, ออโตเมต้าที่มีขอบเขตเชิงเส้น สำหรับครั้งแรกและครั้งสุดท้ายในระดับที่1 (ภาษาที่ปกติและภาษานับซ้ำ) มันทำให้ความแตกต่างในการใช้พลังงานของรูปแบบไม่ว่าจะเป็นเครื่องที่เราพิจารณากำหนดหรือ nondeterministic ไม่มี DFAs คือเทียบเท่ากับ NFAs และเจเทียบเท่ากับ NTMs 2 อย่างไรก็ตามสำหรับ PDA และ LBAs สถานการณ์จะแตกต่างกัน พีดีเอที่กำหนดได้จะรับรู้ชุดของภาษาที่เล็กกว่าอย่างเข้มงวดกว่าพีดีเอที่กำหนดไว้ นอกจากนี้ยังเป็นคำถามเปิดที่สำคัญว่า LBA ที่กำหนดขึ้นมีประสิทธิภาพเท่ากับ LBA ที่ไม่ระบุชื่อหรือไม่ [1] สิ่งนี้จะถามคำถามของฉัน: มีรูปแบบของเครื่องที่แสดงลักษณะของภาษาที่ไม่มีบริบท แต่ไม่มีการกำหนดระดับใดที่ไม่เพิ่มพลังพิเศษ? (ถ้าไม่มีคุณสมบัติของ CFL ที่แนะนำเหตุผลสำหรับการนี้) ดูเหมือนว่าเป็นไปไม่ได้ (สำหรับฉัน) ที่จะพิสูจน์ได้ว่าภาษาที่ไม่มีบริบทต้องมีความไม่เชื่อในลัทธินิยม แต่อย่างใดแต่ดูเหมือนว่าจะไม่เป็นแบบจำลองเครื่อง คำถามส่วนขยายเหมือนกัน แต่สำหรับภาษาที่คำนึงถึงบริบท อ้างอิง S.-Y. Kuroda, "คลาสของภาษาและ Linear Bata Automata" , …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

ฉันพยายามที่จะเข้าใจไวยากรณ์ที่ไวต่อบริบท ฉันเข้าใจว่าทำไมภาษาเช่น { w w ∣ w ∈ A* * * *}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} ไม่ใช่บริบทฟรี แต่สิ่งที่ฉันอยากรู้ว่าภาษาที่คล้ายกับแคลคูลัสแลมบ์ดาที่ไม่ได้พิมพ์ออกมานั้นเป็นบริบทที่อ่อนไหวหรือไม่ ฉันต้องการดูตัวอย่างของแบบง่าย ๆ แต่ไม่ใช่ของเล่น (ฉันพิจารณาตัวอย่างของเล่นด้านบน) ตัวอย่างของไวยากรณ์ไวตามบริบทที่สามารถสำหรับกฎการผลิตบางอย่างเช่นบอกว่าสัญลักษณ์บางอย่างหรือไม่ อยู่ในขอบเขตปัจจุบัน (เช่นเมื่อสร้างเนื้อหาของฟังก์ชัน) ไวยากรณ์ไวตามบริบทมีพลังมากพอที่จะทำให้ตัวแปรที่ไม่ถูกกำหนด / ไม่ได้ประกาศ / ไม่ถูกผูกไว้เป็นข้อผิดพลาดทางไวยากรณ์ (แทนที่จะเป็นความหมาย) หรือไม่

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

ฉันกำลังอ่านข้อกำหนดของ Wikipedia เกี่ยวกับภาษาที่คำนึงถึงบริบทและฉันพบสิ่งนี้: แต่ละหมวดหมู่ของภาษาเป็นกลุ่มย่อยที่เหมาะสมของหมวดหมู่ข้างบน ออโตเมติกใด ๆ และไวยากรณ์ใด ๆ ในแต่ละหมวดหมู่นั้นมีออโตมาตาหรือไวยากรณ์ที่เทียบเท่าในหมวดหมู่ข้างบน ฉันเห็นว่าหุ่นยนต์เชิงเส้นตรงมีค่าต่ำกว่า decider ในการเรียงลำดับของบทความ หากเป็นกรณีนี้หมายความว่าการคำนวณ LBA ทุกครั้งจะหยุดในบางจุด (เนื่องจาก LBA ทุกรายการจะเป็น decider) แต่ฉันรู้สึกว่าอาจมีการคำนวณบางอย่างที่สามารถทำงานบน LBA ในเวลาเดียวกันไม่เคยหยุด ตัวอย่างเช่นเราสามารถเขียนการคำนวณบน LBA ซึ่งจะ อ่านสัญลักษณ์แรกบนเทปแล้วเลื่อนไปทางขวา อ่านสัญลักษณ์ถัดไปและเลื่อนไปทางซ้าย การคำนวณแบบไร้ประโยชน์นี้ (ซึ่งเห็นได้ชัดว่าเป็นการคำนวณแบบ LB) จะทำงานแบบสั่นซ้ายและขวาอย่างไม่มีกำหนดและไม่หยุดและด้วยเหตุนี้จึงไม่สามารถเป็นตัวตัดสินใจ ฉันคิดผิดอยู่ที่ไหน

12 formal-grammars  turing-machines  undecidability  context-sensitive 

จริง ๆ แล้วฉันพบว่าชุดของภาษาที่คำนึงถึงบริบท, (ภาษาที่ยอมรับ) ไม่ได้ถูกกล่าวถึงอย่างกว้างขวางว่าเป็น (ภาษาปกติ) หรือ (ภาษาที่ไม่มีบริบท) และยังเปิดปัญหาไม่ได้โด่งดังในฐานะ "ปัญหา" คล้ายคลึง: " "CSLCSL\mathbf{CSL}=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA}REGREG\mathbf{REG}CFLCFL\mathbf{CFL}DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))}P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} มีการเปรียบเทียบเช่นนี้หรือไม่? มีภาษาในซึ่งไม่สามารถพิสูจน์ได้ว่าเป็น (เช่นภาษาทั้งหมด) หรือไม่CSLCSL\mathbf{CSL}DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))}NPNP\mathbf{NP} นอกจากนี้: มีภาษาในซึ่งเป็น "สมบูรณ์" ในความหมายต่อไปนี้: หากเราพิสูจน์ได้ว่าอยู่ในเราได้รับ ?LLLCSLCSL\mathbf{CSL}LLLDSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))}DSPACE(O(n))=NSPACE(O(n))DSPACE(O(n))=NSPACE(O(n))\mathbf{DSPACE(O(n)) = NSPACE(O(n))} (อาจเป็นแค่เรื่องของความเห็น) ปัญหาทั้งสองในระดับความยากเท่ากันหรือไม่?

10 complexity-theory  np-complete  space-complexity  context-sensitive 

ฉันกำลังมองหาไวยากรณ์ไวตามบริบทที่อธิบายภาษาต่อไปนี้: L = { w w ∣ w ∈ { a , b}* * * *, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . ฉันมีปัญหากับความจริงที่ว่าไม่มีกฎเช่น X→ εX→εX \to \varepsilonได้รับอนุญาตและดังนั้นฉันไม่สามารถวาง nonterminal ใด ๆ ที่ระบุ "กลาง" ของคำ มีเคล็ดลับสำหรับปัญหาหรือไม่?

9 formal-languages  formal-grammars  context-sensitive