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

ฉันเรียนรู้วิธีการแปลง NFA ให้เป็น DFA และฉันต้องการให้แน่ใจว่าฉันทำถูกต้อง เห็นได้ชัดว่าการกลับไปในทิศทางอื่นไม่ใช่เรื่อง ไม่มีใครรู้วิธีการตรวจสอบว่า DFA เทียบเท่ากับ NFA หรือไม่

10 automata  finite-automata  proof-techniques  nondeterminism 

ตำราของฉันบอกว่า: "เรากำหนดฟังก์ชันดังนี้:และ . โปรดทราบว่าเมื่อได้รับเราสามารถหาได้ง่ายในเวลาที่หมายเลขที่ถูกคั่นระหว่างและ "ฉ: N → Nf:N→Nf\colon \mathbb{N}\to\mathbb{N}ฉ( 1 ) = 2f(1)=2f(1)=2ฉ( i + 1 ) =2ฉ( ฉัน)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}nnnโอ(n1.5)O(n1.5)O(n^{1.5})ผมiinnnฉ( i )f(i)f(i)ฉ( i + 1 )f(i+1)f(i+1) ฉันจะโน้มน้าวตัวเองว่าจริง ๆ แล้วเราสามารถหาได้อย่างง่ายดายในเวลา ? ในฐานะที่เป็นถูกกำหนดซ้ำผมคิดว่าเราต้องคำนวณจนกว่าn เพื่อที่จะหาเวลาที่การคำนวณเหล่านี้ใช้ฉันคิดว่าเราต้องหาขอบเขตบนที่เหมาะสมสำหรับขึ้นอยู่กับและเราต้องหาขอบเขตบนของเวลาดำเนินการของฟังก์ชัน1.2}} ในท้ายที่สุดเราหวังว่าจะสามารถแสดงข้อเสนอที่ยกมา น่าเสียดายที่ฉันไม่เห็นสิ่งใดเลยผมiiโอ(n1.5)O(n1.5)O(n^{1.5})ฉffฉ( 1 ) , f( 2 ) , f( 3 ) … f( j )f(1),f(2),f(3)…f(j)f(1),f(2),f(3)\dots f(j)ฉ( j ) …

10 complexity-theory  algorithm-analysis  nondeterminism 

ฉันกำลังทำงานผ่าน Sipser Book (ฉบับที่ 2) และพบกับตัวอย่างนี้ซึ่งฉันไม่เข้าใจ ในหนังสือเล่มนี้มันระบุว่า NFA นี้ยอมรับสตริงว่าง\εϵ\epsilon มีใครบางคนที่จะช่วยให้ฉันรู้ว่าทำไมถึงเป็นเช่นนั้น ความเข้าใจของฉันคือจะย้ายไปที่ซึ่งไม่ใช่สถานะที่ยอมรับได้εϵ\epsilonQ3q3q_3

9 regular-languages  finite-automata  nondeterminism 

ให้รับสายป้อนเป็น W1W2. . .Wnw1w2...wnw_1w_2...w_n. จากนั้นหาก NFA อยู่ในสถานะปัจจุบันRrr (และอ่านตัวอักษรได้ไม่เกินตัว Wผมwiw_i ) จากนั้นก่อนที่จะอ่านสัญลักษณ์อินพุตถัดไป NFA จะแยกเป็นสอง NFA หนึ่งอันอยู่ในสถานะ Rrr และสิ่งมีชีวิตอื่น ๆ sssหากมีการเปลี่ยนประเภท R→εsr→ϵsr \xrightarrow{\epsilon} s. หากมีรอบประเภทR→εs→εQ1. . . .→εQk→εRr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} rที่ไหน Qผมqiq_i คือบางสถานะของ NFA ดังนั้นจึงไม่มีประโยชน์ในการจดจำ NFA อื่นในสถานะ Rrr จนถึงจุดที่อินพุตถูกอ่านจนถึงตัวอักษร Wผมwiw_i. หาก PDA (ไม่กำหนดค่า) อยู่ในสถานะRrr (และอินพุตจะอ่านจนถึง Wผมwiw_i ) และมีวงจรอยู่ …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

ฉันได้เริ่มต้นในการศึกษาออกำหนดไม่ใช่ใช้หนังสือของ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