DPDAs ที่ไม่มี

ในคำอธิบายอย่างเป็นทางการของ Automata แบบกำหนดค่าได้กำหนดค่าอนุญาตให้มีการเคลื่อนไหวซึ่งเครื่องสามารถปรากฏหรือกดสัญลักษณ์ลงบนสแต็กได้โดยไม่ต้องอ่านสัญลักษณ์จากอินพุต ถ้าสิ่งเหล่านี้ย้ายไม่ได้รับอนุญาตและสแต็คเท่านั้นที่สามารถปรับเปลี่ยนครั้งหลังจากแต่ละสัญลักษณ์อ่านจะออผลเท่ากับอำนาจที่จะ DPDAs? $\epsilon$ $\epsilon$

อาจจะมีบางสิ่งบางอย่างที่น่ารำคาญฉันหายไปเกี่ยวกับการใช้ powerset ของเป็นใหม่ของคุณช่วยให้คุณ "อัด" ย้ายเข้าไปในหุ่นยนต์เทียบเท่าโดยที่พวกเขาคล้ายกับวิธีการที่คุณสามารถบีบอัดย้ายใน DFA ดูเหมือนว่าการแปลงดังกล่าวนั้นไม่สำคัญกับ DFA และฉันไม่แน่ใจว่ามันจะเป็นไปได้ $\Gamma$ $\Gamma$ $\epsilon$ $\epsilon$

ดังนั้นทั้งสองมีอำนาจเทียบเท่ากันหรือไม่ ฉันแค่ถามเพราะทุกคนน่าจะคิดว่ามี DPDAs ย้ายและฉันสงสัยว่าทำไมสมมติฐานที่มีอยู่เพราะมันดูเหมือนว่ารูปแบบที่ซับซ้อนมากขึ้น $\epsilon$

automata-theory context-free

— Phylliida
แหล่งที่มา

ตกลง. ดังนั้นมีเหตุผลที่เราศึกษาเฉพาะสิ่งที่เคลื่อนไหว

หรือไม่

ϵ

$\epsilon$

— Phylliida

ดังนั้นฉันเพิ่งรู้ว่าคุณสามารถจดจำ

ได้ คุณเพียงแค่เริ่มต้นในสถานะที่ยอมรับจากนั้นเมื่ออ่าน

แรกคุณจะกด & ลงบนสแต็กและเมื่ออ่าน

ที่สองคุณจะกด # ลงบนสแต็ก หลังจากนั้นคุณเขียน

ไปยังสแต็กสำหรับทุก ๆ

คุณอ่านเริ่มต้นด้วย

คุณอ่านหลังจากกด # ไปยังสแต็ก

L = {a^{2 n} b^{n}}

$L=\{a^{2n}b^n\}$

a

$a$

a

$a$

a

$a$

a

$a$

a

$a$

— Phylliida

แล้วถ้าคุณอ่าน

ขณะที่รู้ว่าคุณอ่านเลขคี่ของ's คุณปฏิเสธ (นั่งอยู่ในสถานะที่ติด) มิฉะนั้นคุณเข้าไปในรัฐอื่นและผลักดันปิดสแต็ค คุณทำซ้ำนี้สำหรับทุก

อ่าน หากในที่สุดขณะแยกวิเคราะห์ a

# อยู่ที่ด้านบนสุดของสแต็กแทนที่จะเป็น

ให้ป้อนสถานะการยอมรับ จากนั้นป้อนสถานะการปฏิเสธหากมีการอ่านสัญลักษณ์เพิ่มเติม ในกรณีที่แตกต่างจากที่ระบุไว้ข้างต้นให้ป้อนสถานะการปฏิเสธ ใช้งานได้หรือไม่

b

$b$

a

$a$

a

$a$

b

$b$

b

$b$

a

$a$

— Phylliida

ฟังดูดีสำหรับฉัน.

— Klaus Draeger

แก้ไขฉันถ้าฉันผิด แต่ฉันเห็นด้วย ฉันยังเชื่อว่าคุณสามารถรับรู้

กับ DPDA ที่จะเลื่อนไปทางขวาบนเทปอินพุต (ไม่หยุด) ส่วนที่ยุ่งยากเท่านั้นคือการทำให้มันเสร็จสิ้นในสถานะสุดท้าย การยอมรับ DPDA อาจเป็นเรื่องยุ่งยาก

{a^{2 n} b^{n}}

$\{ a^{2n}b^{n} \}$

— Michael Wehar

บางทีฉันอาจพบข้อมูลที่เกี่ยวข้องใน:

Jean-Michel Autebert, Jean Berstel, Luc Boasson; ภาษาที่ไม่มีบริบทและการกดลงอัตโนมัติ คู่มือภาษาทางการ; 1997, pp 111-174

โดยไม่ต้อง DPDAs -transitions เป็นที่รู้จักกันเป็นเรียลไทม์ที่กำหนดขยายลงออโต $\epsilon$

พวกเขามีพลังน้อยกว่า DPDA เช่น

$L = \{ a^n b^p c a^n \mid p,n > 0\} \cup \{ a^nb^pdb^p\mid p,n > 0 \}$

สามารถกำหนดได้และสามารถรับรู้โดย DPDA แต่ไม่สามารถจดจำได้โดยDPDA แบบเรียลไทม์

สิ่งที่คุณสามารถทำได้คือการกำจัดที่เพิ่มขึ้น -transitions: $\epsilon$

ข้อเสนอที่ 5.4 : สำหรับ DPDA ใด ๆ ก็เป็นไปได้ที่จะสร้างการรับรู้ DPDA ภาษาเดียวกันเช่นที่ใด -rule จะลดลง $\epsilon$

— Marzio De Biasi
แหล่งที่มา

เยี่ยมมากขอบคุณ! ดังนั้นนี่คือส่วนแรกของคำถามของฉัน ส่วนที่สองคือ - ทำไมเราไม่ศึกษาสิ่งเหล่านี้ ดูเหมือนว่าทุกคนจะมุ่งเน้นที่ไม่ใช่แบบเรียลไทม์และที่แปลกสำหรับฉัน

— Phylliida

@DanielleEnsign: googling รอบ ๆ คุณสามารถค้นหาผลลัพธ์บางอย่างเกี่ยวกับ RDPDA ตัวอย่างเช่นปัญหาความเท่าเทียมกันนั้นสามารถนำกลับมาใช้ใหม่ได้ แต่ฉันเห็นด้วยกับคุณพวกเขาไม่ได้ดึงดูดความสนใจมาก

— Marzio De Biasi