การลดขนาดออโตมาตาโดยยอมรับ -words (เช่นคำที่ไม่สิ้นสุด)


10

วิธีมาตรฐานในการลดBüchi-Automata คืออะไร (หรือMüller-Automata) การถ่ายโอนเทคนิคปกติจากคำที่ จำกัด กล่าวคือการตั้งค่าสถานะที่สองให้เท่ากันหากคำว่า "หมด" ของรัฐที่ยอมรับกันจะไม่ทำงาน ตัวอย่างเช่นพิจารณาBüchi-Automoton ยอมรับทุกคำด้วยจำนวนอนันต์ของ a ประกอบด้วยสองสถานะคือสถานะเริ่มต้นและสถานะสุดท้ายและสถานะสุดท้ายจะถูกป้อนทุกครั้งที่อ่านและสถานะเริ่มต้นจะถูกป้อนทุกครั้ง อ่านสัญลักษณ์ที่แตกต่างกัน ทั้งสองรัฐได้รับการพิจารณาว่าเท่าเทียมกันโดยการสูญเสียข้างต้น แต่การยุบลงนั้นทำให้ออโตมาตะประกอบด้วยรัฐเดียวและดังนั้นจึงยอมรับทุกคำ

คำตอบ:


12

โดยทั่วไปภาษา omega-ปกติอาจไม่มี DBW ขั้นต่ำที่ไม่ซ้ำกัน ตัวอย่างเช่นภาษา "a a many many และอนันต์ของ b" มี 3 DBWs สองสถานะ (ในภาพแทนที่ by ): ¬ ω¬aDBWs ขั้นต่ำสองรายการสำหรับภาษาเดียวกัน

อย่างที่คุณเห็นพวกมันไม่เทียบเท่าทอพอโลยี

ดังนั้นปัญหาการลดเป็นหนักกว่ากรณีที่ จำกัด และในความเป็นจริงมันเป็นNP-สมบูรณ์


ฉันพบBüchi-Automata 3 รัฐสามตัวสองตัวมีโครงสร้างคล้ายกันมาก (พวกเขาต่างกันตามป้ายบนช่วงการเปลี่ยนภาพ) แต่คุณจะรังเกียจที่จะให้เครื่องของคุณเพื่อการเปรียบเทียบ :) ขอบคุณสำหรับบทความ!
StefanH

@Stefan - เพิ่มตัวอย่าง
Shaull

ทางซ้ายฉันมีเหมือนกัน แต่ฉันก็มีอีกอันหนึ่งฉันโพสต์ไว้เป็นการแก้ไขในคำถามของฉัน
StefanH

หุ่นยนต์ที่คุณเพิ่มไม่ถูกต้อง - ไม่ยอมรับคำว่า(bab)ω=babbabbabbab...
Shaull

เมื่อพิจารณาถึง DBWs ฉันสงสัยว่าปัญหายังคงยากอยู่หรือไม่ถ้าเราพิจารณาตัวอักษรสมมติว่าเป็นเลขฐานสอง คุณคิดอย่างไร? และเกี่ยวกับสถานะเทียบเท่าเราไม่สามารถ จำกัด จำนวนสถานะเทียบเท่าที่เราต้องการได้หรือไม่! ตัวอย่างเช่นฉันเชื่อว่าหนึ่งสามารถผูกจำนวนรัฐด้วยลูกศรขาออกเดียวเท่านั้น (มีป้ายกำกับว่า "true") constanเสื้อ
Bader Abu Radi

13

คำถามนี้สร้างวรรณคดีจำนวนมากในยุค 80 ส่วนหนึ่งเนื่องจากปัญหาที่ไม่ดี นี่เป็นเรื่องราวที่ค่อนข้างยาวที่ฉันจะพยายามสรุปในคำตอบนี้

1. กรณีของคำ จำกัด

เราสามารถค้นหาคำจำกัดความของ DFA ที่น้อยที่สุดได้ในวรรณคดี คนแรกคือการกำหนด DFA น้อยที่สุดของภาษาปกติเป็น DFA ที่สมบูรณ์ด้วยจำนวนขั้นต่ำของรัฐที่รับภาษา อันที่สองนั้นมีความยาวมากกว่าที่จะให้คำจำกัดความ แต่มีความน่าสนใจทางคณิตศาสตร์มากกว่าอันแรกและมันให้คุณสมบัติที่แข็งแกร่งกว่า

ให้เราเรียกว่า DFAคือสามารถเข้าถึงได้ถ้าทุกมีคำเช่นที่Q จะเสร็จสมบูรณ์หากถูกกำหนดไว้สำหรับและทั้งหมดq Q u A ฉันu = q q a q Q a A(Q,A,,ผม,F)QQยูA* * * *ผมยู=QQaQQaA

ให้และเป็น DFA ที่สมบูรณ์และเข้าถึงได้สองแห่ง morphism จากถึง เป็นฟังก์ชันเช่นนั้น A 2 =( Q 2 ,A,, i 2 , F 2 ) A 1 A 2 φ: Q 1 Q 2A1=(Q1,A,,ผม1,F1)A2=(Q2,A,,ผม2,F2)A1A2φ:Q1Q2

  1. φ(ผม1)=ผม2 ,
  2. φ-1(F2)=F1 ,
  3. สำหรับทุกและ ,ก)φ ( Q ) = φ ( Q )QQ1aAφ(Q)a=φ(Qa)

เราสามารถแสดงให้เห็นว่าเงื่อนไขเหล่านี้บ่งบอกว่าจำเป็นต้องมีความจำเป็น (และ ) นอกจากนี้ยังมี morphism อย่างน้อยหนึ่งรายการจากถึงและหากมี morphism นี้อยู่แล้วและรู้จักภาษาเดียวกัน ตอนนี้หนึ่งสามารถแสดงให้เห็นว่าทุกภาษามีที่ไม่ซ้ำกันที่สมบูรณ์สามารถเข้าถึง DFAยอมรับและเช่นว่าสำหรับทุกเข้าถึง DFA สมบูรณ์ยอมรับมีซึ่มส์จากบน | คำถาม2 | | คำถามที่1 | 1 2 1 2 L L L L L L L Lφ|Q2||Q1|A1A2A1A2LALLALAAL. หุ่นยนต์นี้เรียกว่าน้อยที่สุด DFAของLโปรดทราบอีกครั้งว่าเนื่องจากจำนวนสถานะในมีขนาดเล็กกว่าจำนวนสถานะใน ,ก็น้อยมากในแง่แรกLALAAL

เป็นมูลค่าการกล่าวขวัญว่านอกจากนี้ยังมีคำนิยามเกี่ยวกับพีชคณิตที่เหมาะสมสำหรับDFA ที่ไม่สมบูรณ์ ดู [Eilenberg, Automata, ภาษาและเครื่องจักร , ฉบับที่ A, Academic Press, 1974] สำหรับรายละเอียดเพิ่มเติม

2. กลับสู่คำที่ไม่มีที่สิ้นสุด

การขยายคำจำกัดความแรกไม่ได้ผลตามที่ Shaull แสดงในคำตอบของเขา และน่าเสียดายที่เราสามารถแสดงให้เห็นว่าคุณสมบัติสากลของคำจำกัดความที่สองไม่ได้ขยายไปถึงคำที่ไม่มีที่สิ้นสุดยกเว้นในบางกรณี

นี่เป็นจุดจบของเรื่องราวหรือไม่? รอสักครู่มีอีกวัตถุน้อยที่สุดที่ยอมรับภาษาปกติ ...

3. วิธีการทางวากยสัมพันธ์

ให้เรากลับมาอีกครั้งเพื่อหาคำ จำกัด จำได้ว่าภาษาของเป็นที่ ยอมรับจากหนังสือถ้ามี surjective หนังสือซึ่มส์ และเซตของเช่นที่L อีกครั้งมีอยู่หนังสือที่เรียกว่าหนังสือประโยคของซึ่งตระหนักและเป็นความฉลาดของ monoids ทั้งหมดตระหนักถึงLวากยสัมพันธ์ syntax นี้สามารถนิยามโดยตรงเป็นผลหารของโดยความสอดคล้องกันทางไวยากรณ์ของA M f : A M P M f - 1 ( P ) = L M ( L ) L L L A L L คุณL v  ถ้าและเฉพาะในกรณีสำหรับxทั้งหมด  , y A x u y LLA* * * * M:A* * * *MPM-1(P)=LM(L)LLLA* * * * ~LLกำหนดไว้ดังนี้: ข่าวดีก็คือ เวลานี้วิธีนี้ได้ขยายไปถึงคำที่ไม่มีที่สิ้นสุด แต่ใช้เวลานานในการค้นพบความคิดที่เหมาะสม ประการแรกความคิดที่เหมาะสมของความสอดคล้องกันทางไวยากรณ์ถูกค้นพบโดย A. Arnold (ความสอดคล้องทางไวยากรณ์สำหรับเหตุผล -languages, Theoret Comput Sci 39 , 2-3 (1985), 333–335) การขยาย monoids แบบ syntax ไปสู่การตั้งค่าคำไม่สิ้นสุดจำเป็นต้องใช้รูปแบบที่ซับซ้อนมากขึ้นของ algebras ซึ่งปัจจุบันเรียกว่าalgebrasของ Wilke เพื่อเป็นเกียรติแก่ T. Wilke ผู้ซึ่งเป็นคนแรกที่นิยามพวกมัน (T. Wilke, พีชคณิตทฤษฎีภาษาปกติของอนันต์ คำ, ω

ยู~Lโวลต์ ถ้าและถ้าหากสำหรับทั้งหมด x,YA* * * *xยูYLxโวลต์YL
ω int เจ. อัล คอมพิวเต 3 (1993), 447–489) รายละเอียดเพิ่มเติมสามารถพบได้ในหนังสือของฉันคำที่ไม่มีที่สิ้นสุดร่วมกับ D. Perrin

4. สรุป

ดังนั้นจึงมีแนวคิดทางคณิตศาสตร์เกี่ยวกับวัตถุที่น้อยที่สุดที่ยอมรับ -language ปกติที่กำหนดแต่มันไม่ได้พึ่งพาออโตมาต้า นี่เป็นความจริงที่ค่อนข้างทั่วไป: ออโตมาต้าเป็นเครื่องมืออัลกอริธึมที่ทรงพลังมาก แต่ก็ไม่เพียงพอที่จะตอบคำถามทางคณิตศาสตร์เกี่ยวกับภาษาω

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.