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

การใช้เวกเตอร์ Earley เป็นตัวจำแนกค่อนข้างตรงไปตรงมา: เมื่อถึงจุดสิ้นสุดของสตริงคุณเพียงแค่ต้องตรวจสอบการผลิตซึ่งเป็นจริงเสร็จสมบูรณ์เริ่มต้นที่ตำแหน่ง 0 หากคุณมีอย่างน้อยหนึ่งแล้วสตริงได้รับการยอมรับ การใช้เวกเตอร์ Earley เพื่อสร้างต้นไม้การแยกไม่ชัดเจน ที่จริงแล้วฉันไม่สามารถทราบได้ว่าขั้นตอนวิธีอัลกอริทึมจะทำงานอย่างไรนอกจากการอ้างอิงเท่านั้นที่ฉันพบว่าไม่ชัดเจนหรือเป็นเทคนิคขั้นสูง มีใครช่วยให้แสงออกมาบ้าง?

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

มีชุดของกฎหรือวิธีการใด ๆ ในการแปลงไวยากรณ์อิสระให้เป็นออโตมาต้าหรือไม่ ฉันพบสไลด์ออนไลน์แล้วแต่ไม่สามารถเข้าใจได้ ในสไลด์ที่ 10 เขาพูดถึงกฎบางอย่างที่ทุกคนสามารถอธิบายได้หรือไม่

9 context-free  formal-grammars  pushdown-automata  simulation 

ในวิทยาลัยเราได้เรียนรู้เกี่ยวกับทฤษฎีการคำนวณโดยทั่วไปและเครื่องทัวริงโดยเฉพาะ ผลลัพธ์ทางทฤษฎีที่ยอดเยี่ยมอย่างหนึ่งคือค่าใช้จ่ายของตัวอักษรขนาดใหญ่ (สัญลักษณ์) คุณสามารถลดจำนวนสถานะลงเหลือเพียง 2 ฉันกำลังมองหาตัวอย่างของเครื่องจักรทัวริงที่แตกต่างกันและตัวอย่างที่นำเสนอโดยทั่วไปคือเครื่องมือจับคู่วงเล็บ / ตัวตรวจสอบ โดยพื้นฐานแล้วมันจะตรวจสอบว่าสตริงของวงเล็บเช่น(()()()))()()()สมดุลหรือไม่ (ตัวอย่างก่อนหน้านี้จะคืนค่า 0 สำหรับการไม่สมดุล) ลองเป็นฉันฉันจะได้รับสิ่งนี้เป็นเครื่องสามรัฐ ฉันชอบที่จะรู้ว่าถ้าใครสามารถลดสิ่งนี้ลงให้เหลือน้อยที่สุดในทางทฤษฎีของ 2 และสิ่งที่วิธี / รัฐ / สัญลักษณ์ของพวกเขาเป็นอย่างไร เพียงเพื่อชี้แจงวงเล็บคือ "แซนวิช" ระหว่างเทปเปล่าดังนั้นในตัวอย่างข้างต้น - - - - - - - (()()()))()()() - - - - - - -จะเป็นอินพุตบนเทป ตัวอักษรจะรวมถึง(, ), 1, 0, -และ*halt*รัฐไม่นับเป็นของรัฐ สำหรับการอ้างอิงสามสถานะของฉันมีดังนี้: คำอธิบายของรัฐ: State s1: Looks for Closing …

9 turing-machines  context-free  parsers 

ฉันพบปัญหานี้เกี่ยวกับการใช้ภาษาที่ไม่มีบริบท ปล่อยLLLเป็นภาษาที่ไม่มีบริบท กำหนดL#= { x :xผม∈ ลL#={x:xi∈LL^{\#} = \{ x : x^i \in L สำหรับทุกคน ฉัน= 0 , 1 , 2 , . . }i=0,1,2,...}i=0,1,2,...\}. คือL#L#L^{\#}ไม่มีบริบทเสมอหรือ ฉันเดาว่ามันจะรักษาบริบท - freeness ใครสามารถแสดงหลักฐานเบื้องต้นเกี่ยวกับเรื่องนี้ได้บ้าง

9 formal-languages  context-free 

ในบทความการแยกวิเคราะห์นิพจน์โดย Recursive Descent โดย Theodore Norvell (1999)ผู้เขียนเริ่มต้นด้วยไวยากรณ์ต่อไปนี้สำหรับนิพจน์ทางคณิตศาสตร์: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v ซึ่งค่อนข้างแย่เพราะมันคลุมเครือและซ้ำซาก ดังนั้นเขาจึงเริ่มต้นจากการลบการเรียกซ้ำซากด้านซ้ายออกจากผลลัพธ์นั้นเป็นดังนี้: E --> P {B P} P --> v | "(" E …

9 formal-languages  context-free  formal-grammars  left-recursion 

ฉันต้องการใช้ความช่วยเหลือของคุณกับปัญหาต่อไปนี้: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}. แสดงว่าL∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE. ฉันรู้ว่าต้องพิสูจน์ L∉REL∉REL\notin REมันก็เพียงพอที่จะหาภาษา L′L′L' ดังนั้น L′∉REL′∉REL'\notin RE และแสดงว่ามีการลดจาก L′L′L' ถึง LLL (L′≤ML)(L′≤ML)(L'\leq _M L). ฉันเริ่มนึกถึงภาษาที่ฉันรู้แล้วว่าพวกเขาไม่ได้อยู่ข้างใน REREREและฉันรู้ว่า Halt∗={⟨M⟩∣M halts for every input}∉REHalt∗={⟨M⟩∣M halts for every input}∉REHalt^* =\{⟨M⟩ ∣ M\mbox{ halts for every input} \} …

9 formal-languages  computability  context-free  turing-machines 

ฉันกำลังติดการแก้แบบฝึกหัดถัดไป: ยืนยันว่าหากคือบริบทฟรีและเป็นปกติแล้ว (เช่นความฉลาดทางขวา ) ไม่มีบริบทLLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} ฉันรู้ว่ามีควรมีอยู่ PDA ที่ยอมรับและ DFA ที่ยอมรับRตอนนี้ฉันกำลังพยายามรวมออโตมาตะเหล่านี้เข้ากับพีดีเอที่ยอมรับความฉลาดทางขวา ถ้าฉันสามารถสร้างสิ่งที่ฉันพิสูจน์ได้ว่านั้นปราศจากบริบท แต่ฉันกำลังสร้าง PDA นี้อยู่LLLRRRL/RL/RL/R นี่คือสิ่งที่ฉันทำ: ใน PDA ที่รวมสถานะเป็นผลิตภัณฑ์คาร์ทีเซียนของสถานะของออโตมาตาแยก และขอบเป็นขอบของ DFA แต่จะมีเพียงอันเดียวเท่านั้นซึ่งในอนาคตสถานะสุดท้ายของ PDA ดั้งเดิม L สามารถเข้าถึงได้ แต่ไม่รู้จะเขียนมันอย่างไรอย่างเป็นทางการ

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata