需求
“An NFA over {0, 1} for strings ending in 01. The start state S loops on 0 and 1 and guesses the last two symbols through A to the accepting state B.”
接著試試Convert this NFA to a DFAChange it to strings ending in 011
這張圖裡有什麼
看懂背後的決策。
01
Adding state 'A' to remember a 0 before a 1
02
Using non-determinism to start pattern on any 0
03
Marking accepting state 'B' with a note instead of terminal state to allow ongoing transitions
When modeling finite state machines for pattern recognition in theoretical computer science or compiler design classes.