280 likes | 455 Views
0,1. 0. Ans for 7,9. 1. 0,1. 0,1. 0. Ans for 8,10. 1. 0,1. 0,1. 0,1. Ans for 11. 0. 1. 0. 1. I. A. B. C. F1. 0. 1. 1. 0. 0. 1. 1. Ans for 15:postponed!!. P. R. Q. F2. Ans for 12 : (0+1)* (0101+1101+0001+0110+0100) (0+1)*. 0,1.
E N D
0,1 0 Ans for 7,9 1 0,1 0,1 0 Ans for 8,10 1 0,1 0,1 0,1 Ans for 11 0 1 0 1 I A B C F1 0 1 1 0 0 1 1 Ans for 15:postponed!! P R Q F2 Ans for 12 : (0+1)* (0101+1101+0001+0110+0100) (0+1)* 0,1 Ans for 13 : Can obtain using JFLAP. Also see the following.
0,1 0,1 0 1 0 1 I A B C F1 0 1 1 0 0 1 1 P R Q F2 0,1 0 0 IAQ IA 1 0 1 0 I IPB 1 1 IP 1 IPQ 0
0,1 0,1 0 1 0 1 I A B C F1 0 1 1 0 0 1 1 P R Q F2 0,1 0 0 0 IAQR 0 IAQ 0 IA 1 0 IPQR 1 1 0 I IPB 0 1 1 IAC IP 1 IPQ 0 IAR
0,1 0,1 0 1 0 1 I A B C F1 0 1 1 0 0 1 1 P R Q F2 0,1 0 0 0 IPBF2 IACF2 IAQR IPQF2 0 1 IAQ 0 IA 1 0 IPQR 1 1 IAQF2 0 I IPB 0 0 1 1 1 IAC IPBF1 IP 1 IPQ 0 1 IAR
0,1 0,1 0 1 0 1 I A B C F1 0 1 1 0 0 1 1 P R Q F2 0,1 0 0 0 IPBF2 IACF2 IAQR IPQF2 0 1 IAQ 0 IA 1 0 IPQR ETC. This DFA Is also exp. In size, as It tends to Keep track Of the Past history 1 1 IAQF2 0 I IPB 0 0 1 1 1 IAC IPBF1 IP 1 IPQ 0 1 IAR
0 0 0 IAQR 1 0 IAQ 0 IA 1 0 IPQR 1 1 1 0 I IPB 0 1 1 1 IAC IP 1 IPQ 0 1 IAR
NFA to RE 0 0 I F1 1 1 1 e F2 B 1
0 e 0 e F1 I F1 1 1 e 1 e F2 B 1
0 e 0 e F1 I F1 1 1 e 1 e F2 B 1
1(1*)e 1(1*)1 0 e 0 e F1 I F1 1 1 e 1 e F2 B 1
1(1*)1 0 e + 1(1*)e 0 e F1 I F1 1 e B
1(1*)1 0 e + 1(1*)e 0 e F1 I F1 1 e B
1(1*)1 0 e + 1(1*)e (0 + e1) e F1 I F1
1(1*)1 0 e + 1(1*)e (0 + e1) e F1 I F1
1(1*)1 0 e + 1(1*)e (0 + e1) e F1 I F1 (0 + e1) (0*) (1(1*) 1)
1(1*)1 0 e + 1(1*)e (0 + e1) e F1 I F1 (0 + e1) (0*) (e + 1(1*)e) (0 + e1) (0*) (1(1*) 1)
e F1 I (0 + e1) (0*) (e + 1(1*)e) (0 + e1) (0*) (1(1*) 1)
e ( (0 + e 1) (0*) ( 1 (1*) 1) )* (0+e1) (0*) (e + 1(1*) e) e F1 I (0 + e1) (0*) (e + 1(1*)e) (0 + e1) (0*) (1(1*) 1)
e ( (0 + e 1) (0*) ( 1 (1*) 1) )* (0+e1) (0*) (e + 1(1*) e) F1
F1 ( (0 + 1) (0*) ( 1 (1*) 1) )* (0+1) (0*) (e + 1(1*) )
NFA to DFA : E-close beforehand to get start state For each state, March as per 0 or 1, and E-close to get next state. 0 0 0 1 1 1 e e 2 3 1
0 NFA to DFA : 0 0 1 1 1 e e 2 3 1 03
0 NFA to DFA : 0 0 1 1 1 e e 2 3 1 0,1 03 12 0
0 NFA to DFA : 0 0 1 1 1 e e 2 3 1 0 0,1 1 03 12 203 0
0 NFA to DFA : 0 0 1 1 1 e e 2 3 1 0 0 1 0,1 1 03 12 203 2031 0 1
DFA intersection : 0 0 0 1 0 1 1 0,1 0 1 0 1 2 3 13 11 0 1 0 00 21 0 0 1 31 1 0 1 0 1 0,1 1 2 3 0 Finish 31 and 12 similarly.
DFA intersection : 0 0 0 1 0 1 1 0,1 0 1 0 1 2 3 13 11 0 1 1 1 0 00 21 0 0 1 31 1 02 0 1 0 1 1 0,1 1 30 2 3 0 Finish 31 and 12 similarly.
DFA intersection : 0 0 0 1 1 0 1 0 1 0,1 0 1 0 1 2 3 13 11 22 0 1 1 1 0 00 21 0 0 1 31 1 02 0 1 0 0 1 1 0,1 1 30 12 2 3 0 Finish 31 and 12 similarly.