0,1 1 0 1 0 0 0 1 1 0 1 1 1 0 10 iab cf1 f2 r q p ans for 7,9 ans for 8,10 ans for 11 ans for 12 :...

28
0,1 1 0 0,1 0,1 1 0 0,1 0 0 1 1 0 1 1 1 0 1 0 0,1 0,1 0,1 I A B C F1 F2 R Q P Ans for 7,9 Ans for 8,10 Ans for 11 for 12 : (0+1)* (0101+1101+0001+0110+0100) (0+1)* 13 : Can obtain using JFLAP. Also see the following. Ans for 15:postponed!!

Upload: reilly-grewe

Post on 14-Dec-2015

218 views

Category:

Documents


0 download

TRANSCRIPT

0,1

1

0

0,1

0,1

1

0

0,1

0 01 1

01 1

1 0 1 0

0,1

0,1 0,1

I A B C F1

F2RQP

Ans for 7,9

Ans for 8,10

Ans for 11

Ans for 12 : (0+1)* (0101+1101+0001+0110+0100) (0+1)*

Ans for 13 : Can obtain using JFLAP. Also see the following.

Ans for 15:postponed!!

0 01 1

01 1

1 0 1 0

0,1

0,1 0,1

I A B C F1

F2RQP

IA

IP

I

IAQ

IPB

0

0

IPQ

1

1

10

1

0

1

0

0 01 1

01 1

1 0 1 0

0,1

0,1 0,1

I A B C F1

F2RQP

IA

IP

I

IAQ

IPB

0

0

IAQR0

IPQ

1

1

10

0

1

IAC

0

IPQR1

IAR0

1

0

0

0 01 1

01 1

1 0 1 0

0,1

0,1 0,1

I A B C F1

F2RQP

IA

IP

I

IAQ

IPB

0

0

IAQR0

IPQ

1

1

10

0IPBF2

1

1

IAC

0

IPQR1

IAR0

1

0

0

IAQF2

0

IPBF11

IPQF2

1

IACF2

0 01 1

01 1

1 0 1 0

0,1

0,1 0,1

I A B C F1

F2RQP

IA

IP

I

IAQ

IPB

0

0

IAQR0

IPQ

1

1

10

0IPBF2

1

1

IAC

0

IPQR1

IAR0

1

0

0

IAQF2

0

IPBF11

IPQF2

1

IACF2

ETC.

This DFAIs also exp.In size, asIt tends toKeep trackOf the Past history

IA

IP

I

IAQ

IPB

0

0

IAQR0

IPQ

1

1

10

0

11

IAC

0

IPQR1

IAR0

1

0

0

1

1

1

1

1

0

I F1

F2 e

1

0

1

B

NFA to RE

1

1

0

I F1

F2 e

1

0

1

F1

B

e

e

e

1

1

0

I F1

F2 e

1

0

1

F1

B

e

e

e

1

1

0

I F1

F2 e

1

0

1

F1

B

e

e

e

1(1*)11(1*)e

0

I F1

e

1

0 F1

B

e + 1(1*)ee

1(1*)1

0

I F1

e

1

0 F1

B

e + 1(1*)ee

1(1*)1

0

I F1(0 + e1) F1e + 1(1*)ee

1(1*)1

0

I F1(0 + e1) F1e + 1(1*)ee

1(1*)1

0

I F1(0 + e1) F1e + 1(1*)ee

1(1*)1

(0 + e1) (0*) (1(1*) 1)

0

I F1(0 + e1) F1e + 1(1*)ee

1(1*)1

(0 + e1) (0*) (1(1*) 1)(0 + e1) (0*) (e + 1(1*)e)

IF1e

(0 + e1) (0*) (1(1*) 1)(0 + e1) (0*) (e + 1(1*)e)

IF1e

(0 + e1) (0*) (1(1*) 1)(0 + e1) (0*) (e + 1(1*)e)

e ( (0 + e 1) (0*) ( 1 (1*) 1) )* (0+e1) (0*) (e + 1(1*) e)

F1

e ( (0 + e 1) (0*) ( 1 (1*) 1) )* (0+e1) (0*) (e + 1(1*) e)

F1 ( (0 + 1) (0*) ( 1 (1*) 1) )* (0+1) (0*) (e + 1(1*) )

e

1

0

0 1

2 e

1

0

1

3

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.

e

1

0

0 1

2 e

1

0

1

3

NFA to DFA :

03

e

1

0

0 1

2 e

1

0

1

3

NFA to DFA :

03 120,1

0

e

1

0

0 1

2 e

1

0

1

3

NFA to DFA :

03 120,1

0

2031

0

e

1

0

0 1

2 e

1

0

1

3

NFA to DFA :

03 120,1

0

2031

0

20311

0

1

1

0

0

0 1

2

0,1

0

1

3

DFA intersection :

1

1

0

0

0 1

2

0,1

1

1

3

0

00

130

311

110

211

0

1

0

0

Finish 31 and 12 similarly.

1

0

0

0 1

2

0,1

0

1

3

DFA intersection :

1

1

0

0

0 1

2

0,1

1

1

3

0

00

130

311

110

211

0

1

0

02

1

30

1

0

1

Finish 31 and 12 similarly.

1

0

0

0 1

2

0,1

0

1

3

DFA intersection :

1

1

0

0

0 1

2

0,1

1

1

3

0

00

130

311

110

211

0

221

0

1

0

02

1

12

0

30

1

0

1

Finish 31 and 12 similarly.