1 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaaaaaaaaaaaaa
2 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 10state label Deque aaaaaaaaaaaaaa36 Push 3 and 6 since label =
3 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 6state a label Deque aaaaaaaaaaa3aa7 Enqueue 7 since label matches
4 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 3state label Deque aaaaaaaaaa73aa14 Push 1 and 4 since label =
5 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 4state blabel Deque aaaaaaaaaa71aa Do nothing since label mismatches
6 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 1state alabel Deque aaaaaaaaaa71aa2 Enqueue 2 since label matches
7 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaaaaaaaa271aa Enqueue -1 and advance input
8 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaaaaaaa27 1aa Enqueue -1 and advance input
9 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 7state label Deque aaaaaaaa27 1aa8 Push 8 since label =
10 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 8state clabel Deque aaaaaaaa27 1aa Do nothing since label mismatches
11 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 2state label Deque aaaaaaaa27 1aa3 Push 3 since label =
12 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 3state label Deque aaaaaaaa27 1aa14 Push 1 and 4 since label =
13 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 4state blabel Deque aaaaaaaa17 1aa Do nothing since label mismatches
14 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 1state a label Deque aaaaaaaa17 1aa2 Enqueue 2 since label matches
15 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaaaaaa217 1aa Enqueue -1 and advance input
16 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 2state label Deque aaaaaa2 17 1aa3 Push 3 since label =
17 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 3state label Deque aaaaaa2 17 1aa14 Push 1 and 4 since label =
18 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 4state label Deque aaaaaa1 17 1aa5 Enqueue 5 since label matches
19 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 1state a label Deque aaaaa aa Do nothing since label mismatches
20 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaaaa aa Enqueue -1 and advance input
21 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 5state label Deque aaaa aa11 Push 11 since label =
22 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 11state label Deque aaaa aa12 Push 12 since label =
23 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 12state dlabel Deque aaaa aa13 Enqueue 13 since label matches
24 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom state label Deque aaa aa Enqueue -1 and advance input
25 NFSA Simulation with Deque a 12 3 b 45 a 67 8 c 9 10 11 12 d 13 startaccept aabda Input Text topbottom 13state label Deque aa aa STOP: match found