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

3
มีส่วนขยายของนิพจน์ทั่วไปที่รวบรวมบริบทภาษาที่ไม่มีบริบทหรือไม่
ในเอกสารจำนวนมากที่เกี่ยวข้องกับไวยากรณ์ที่ไม่มีบริบท (CFGs) ตัวอย่างของไวยากรณ์ดังกล่าวที่นำเสนอที่นั่นมักจะยอมรับลักษณะของภาษาที่พวกเขาสร้างขึ้นได้ง่าย ตัวอย่างเช่น: S→aaSbS→aaSbS \to a a S b S→S→S \to สร้าง ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to สร้างและ{aibj∣i≥j≥0}{aibj∣i≥j≥0}\{ a^i b^j \mid i \geq j \geq 0 \} S→aSaS→aSaS \to a S a S→bSbS→bSbS \to …

1
มีออปชั่นที่ลดลงอย่างเห็นได้ชัดที่อนุญาตให้กดคำลงบนสแต็กหรือไม่?
ฉันสงสัยว่ามีเอกสารหรืองานวิจัยที่เกี่ยวข้องกับออโตมาตะแบบกดลงอย่างเห็นได้ชัดหรือไม่ แต่การอนุญาตให้ใช้คำแทนที่จะเป็นตัวอักษรเดียว อีกวิธีหนึ่งคือการก่อสร้างที่ได้รับอนุญาตสำหรับสัญลักษณ์ที่จะผลักดันใน -transitions สามารถบรรลุเป้าหมายเดียวกันϵϵ\epsilon เห็นได้ชัดว่ารูปแบบดังกล่าวสามารถเกิดขึ้นได้ แต่ฉันสงสัยว่ามันจะทำลายคุณสมบัติการปิดและการถอดรหัสที่ทำให้ VPA น่าสนใจหรือไม่ ฉันกำลังดูสิ่งก่อสร้างที่ใช้สแต็คเป็นตัวนับเพิ่มโดยค่าคงที่ตามสัญลักษณ์เริ่มต้นที่อ่านแล้วนับถอยหลังตามสัญลักษณ์อื่นที่อ่าน สำหรับทุกคนที่ไม่ทราบออโตมาตาแบบกดลงอย่างเห็นได้ชัดนั้นเป็นตัวอักษรที่สามารถแบ่งออกเป็นสัญลักษณ์แบบพุชสัญลักษณ์แบบผุดและสัญลักษณ์ที่ไม่มีผลต่อสแต็กเลย ตัวเลือกในการกดและ popping จะถูกกำหนดทั้งหมดโดยสัญลักษณ์ปัจจุบันที่กำลังอ่าน พวกมันถูกปิดใต้ทางแยกสหภาพการต่อเรียงดาวและส่วนเติมเต็มทำให้พวกเขามีคุณสมบัติที่สามารถตัดสินใจได้ ดูกระดาษนี้สำหรับข้อมูลเพิ่มเติม

2
ใน
แก้ไข (โดย Tara B): ฉันยังคงสนใจในการอ้างอิงถึงหลักฐานการนี้เนื่องจากฉันต้องพิสูจน์ด้วยตนเองสำหรับกระดาษของฉันเอง ฉันกำลังมองหาหลักฐานของทฤษฎีบท 4 ที่ปรากฏในเอกสารนี้: ลำดับขั้นของการแยกภาษาที่ปราศจากบริบทโดย Liu และ Weiner ทฤษฏีบทที่ 4:การเลียนแบบหลายมิติมิติไม่สามารถแสดงออกได้อย่างชัดเจนในฐานะการรวมกันของการเลียนแบบ จำกัด ซึ่งแต่ละมิตินั้นมีมิติn - 1หรือน้อยกว่าnnnn - 1n−1n-1 ไม่มีใครรู้การอ้างอิงถึงหลักฐานหรือไม่ หากแมนิโฟลด์มีขอบเขต จำกัด และเรากำหนดระเบียบตามธรรมชาติให้กับองค์ประกอบต่างๆ พื้นหลังบางส่วนที่จะเข้าใจทฤษฎีบท: คำนิยาม:ให้เป็นชุดของจำนวนตรรกยะ เซตM ⊆ Q nเป็นนานาเลียนแบบถ้า( λ x + ( 1 - λ ) Y ) ∈ Mเมื่อx ∈ M , Y ∈ Mและλ ∈ QQQ\mathbb{Q}M⊆QnM⊆QnM\subseteq …

1
การปิดภาษาที่ไม่มีบริบทที่ชัดเจนภายใต้คำนำหน้าและหลัง
ให้เป็นภาษาที่ไม่มีบริบท กำหนดp p c ( L )ให้เป็นการปิดก่อนและหลังของLในคำอื่น ๆp p c ( L )มีคำนำหน้าและคำนำหน้าของLทั้งหมดและด้วยเหตุนี้Lเอง คำถามของฉัน: ถ้าLปราศจากบริบทและมีไวยากรณ์ที่ไม่คลุมเครือจะเป็นจริงสำหรับp p c ( L )หรือไม่LLLp p c (L )พีพีค(L)ppc(L)LLLp p c ( L )พีพีค(L)ppc(L)LLLLLLLLLp p c ( L )พีพีค(L)ppc(L) ฉันเชื่อว่าคำถามพื้นฐานแบบนี้จะได้รับการแก้ไขแล้วในสมัยรุ่งเรืองของทฤษฎีภาษา แต่ฉันไม่สามารถหาข้อมูลอ้างอิงที่เหมาะสมได้
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.