คำถามติดแท็ก automata

เป็น Linear ตรรกะชั่วคราวและกำหนดออBüchiหาที่เปรียบมิได้: DBA ไม่สามารถแสดงความและ LTL ไม่สามารถแสดงความ"อย่างน้อยตัวอักษรแต่ละตัวที่แปลกคือ 'a'" แต่บางครั้งมันน่าสนใจที่จะรู้ว่าภาษาของ DBA สามารถแสดงใน LTL ได้หรือไม่FGaFGaFGa ฉันต้องการอัลกอริทึมที่ตัดสินว่าภาษาของ DBA ที่ระบุนั้นสามารถอธิบายได้ใน LTL หรือไม่ คุณรู้อัลกอริทึมสำหรับสิ่งนั้นหรือไม่?

10 logic  automata  linear-temporal-logic  buchi-automata 

คำถามนั้นค่อนข้างมากในชื่อเรื่อง มีช่วงเวลาที่ภาษาสามารถยอมรับได้โดย DFA น้อยที่สุดกับ state หรือไม่ แต่การกลับรายการของสามารถรับได้โดย DFA กับ states โดยที่ ?LLLnnnLRLRL^RLLLม.mmm &lt; nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

ฉันจะสร้างตัวอย่างของ DFA ที่มีสถานะโดยที่ NFA ที่เทียบเท่ามี state ได้อย่างไร เห็นได้ชัดว่าชุดสถานะของ DFA ควรมีชุดย่อยทั้งหมดของชุดสถานะของ NFA แต่ฉันไม่รู้ว่าจะเริ่มอย่างไร ข้อเสนอแนะใดที่จะทำให้ฉันในการติดตามที่ถูกต้อง?2n2n2^nnnn

10 automata  finite-automata 

มีทฤษฎีบทที่บอกว่า: ให้ออโตเมติก จำกัด มี state หากมีสตริงที่ความยาวตรงกับดังนั้นภาษาที่ยอมรับโดยหุ่นยนต์จะไม่มีที่สิ้นสุดnnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 ฉันเข้าใจข้อ จำกัดแต่ฉันไม่เข้าใจว่าทำไมข้อ จำกัดอยู่ที่นั่น|w|≥n|w|≥n|w| \geq n|w|≤2n−1|w|≤2n−1|w| \leq 2n-1

9 automata  finite-automata 

DFA, NFA และ epsilon NFA ทั้งสามช่วยให้เราสามารถแสดงภาษาปกติเฉพาะ ด้วยการเป็นตัวแทนเหล่านั้นเราสามารถมาถึงการแสดงออกปกติเดียวกันแล้วทำไมเราต้องศึกษาทั้งสามรูปแบบของการเป็นตัวแทนของออโต้ จำกัด มีคำอธิบายบางอย่างเกี่ยวกับสิ่งที่ NFA สามารถทำได้ซึ่ง DFA ไม่สามารถทำได้นั่นคือ NFA อาจช่วยเราในการออกแบบความไม่แน่นอน ตัวอย่างเช่นในการออกแบบเกม (หมากรุก) เรามีตัวเลือกมากมายในการย้ายชิ้นส่วนเฉพาะจากตำแหน่งเฉพาะซึ่งสามารถแสดงได้อย่างง่ายดายโดยใช้ NFA แต่การใช้ epsilon NFA เมื่อใช้ NFA หรือ DFA แบบเดียวกันทำได้อย่างไร

9 automata  finite-automata  education 

เราสามารถสร้างการยอมรับ DFA เลขฐานสองหารด้วยnnnn ตัวอย่างเช่น DFA ที่ยอมรับเลขฐานสองหารด้วย 2 สามารถเกิดขึ้นได้ดังนี้: ในทำนองเดียวกัน DFA ที่รับเลขฐานสองหารด้วย 3 สามารถเกิดขึ้นได้ดังนี้: เราสามารถทำตามขั้นตอนที่กำหนดไว้อย่างดีเพื่อจัดทำ DFA ประเภทนี้ อย่างไรก็ตามสามารถมีขั้นตอนที่กำหนดไว้ได้ดีหรือดีกว่าที่จะบอกว่าตรรกะสำหรับการสร้าง DFAs ยอมรับจำนวนรูปแบบnknkn^k ? ยกตัวอย่างเช่นให้เราพิจารณา DFA ยอมรับตัวเลขทั้งหมดของรูปแบบ k ภาษานี้จะเป็นจึงมี regex * เราสามารถสร้าง DFA ได้ดังต่อไปนี้: 2k2k2^k{1,10,100,1000,...}{1,10,100,1000,...}\{1,10,100,1000,...\}10∗10∗10^* ฉันลองสร้าง DFA เป็นเวลาและสิ่งที่คล้ายกันใช่ไหม แต่ก็ไม่สามารถที่จะทำเช่นนั้น หรือจะเป็นเพียงว่ารูปแบบของเทียบเท่าไบนารีซึ่งทำให้มันเป็นไปได้ที่จะสร้าง DFA และเราไม่สามารถสร้างการยอมรับ DFA เลขฐานสองทุกรูปแบบสำหรับเฉพาะ ?3k3k3^k2n2n2^nnknkn^knnn

9 regular-languages  automata  finite-automata  regular-expressions 

ฉันได้เริ่มต้นในการศึกษาออกำหนดไม่ใช่ใช้หนังสือของHopcroft และ Ullman ฉันติดอยู่ในปัญหาที่ฉันพบว่าน่าสนใจมาก: ให้ออโตเมทริก จำกัด ที่ไม่ได้กำหนดค่าไว้ให้ยอมรับสตริงทั้งหมดที่มีค่าเท่ากันเมื่อประเมินจากซ้ายไปขวาเป็นจากขวาไปซ้ายโดยการคูณตามตารางต่อไปนี้: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline a & a & a & c \\ b & c & a & b \\ c & b & c &a \end{array} ดังนั้นหากเรามีสตริง , สินค้าจากซ้ายไปขวาคือและ ผลิตภัณฑ์จากขวาไปซ้ายคือขcabcabc( a × b ) × …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism