FA L2

L2

-A

C
1

1
D+

B
1

M5={Q,,,q0,F }
q0=A

Q={A,B,C,D}

={0,1}

F={D}

(A,0)=B (A,1)=C

(B,0)=A (B,1)=D

(C,1)=A (C,0)=D

(D,0)=C

(D,1)=B

1 0111
Input : 0111 (A,0)=B

L2

-A

C
1

Input : 0111 (B,1)=D

1
D+

B
1

L2

-A

C
1

1
D+

B
Input : 0111 (D,1)=B

L2

1
-A

C
1

1
D+

B
Input : 0111 (B,1)=D

L2

1
1

-A

C
1

1
D+

B
1

: 0111

2 0001
Input : 0001 (A,0)=B

L2

-A

C
1

1
D+

B
Input : 0001 (B,0)=A

L2

1
1

-A

C
1

1
D+

B
Input : 0001 (A,0)=B

L2

1
1

-A

C
1

1
D+

B
Input : 0001 (B,1)=D

L2

1
1

-A

C
1

1
D+

B
1

 : 0001

3 010110
Input : 010110 (A,0)=B

L2

1
-A

C
1

1
D+

B
Input : 010110 (B,1)=D

L2

-A

C
1

1
D+

Input : 010110 (D,0)=C

B

L2

-A

C
1

1
D+

B
1

Input : 010110 (C,1)=A

L2

-A

C
1

1
D+

B
1
Input : 010110 (A,1)=C

L2

-A

C
1

1
D+

B
Input : 010110 (C,0)=D

L2

-A

C
1

1
B
: 010110 1

D+

 FA L2 RE

L2

-A

00

C
1

1
01

D+

B
1

11

L2

-A

C
1

10

D+

00

10

L2

01

-A

11+00

11

11

10+01
00+11
L2
-A

1
+D
01+10

11+00+10+01(00+11)*01+10
(00+11)*01+10
L2

RE = (00+11)*01+10(11+00+10+01(00+11)*01+10)*

L5

0,1

L5
0

M5={Q,,,q0,F }

Q={X,Y,Z}

={0,1}

q0=X

F={Z}

(X,0)=X

(X,1)=Y

(Y,0)=X

(Y,1)=Z

(Z,0)=Z

(Z,1)=Z

00011

Input : 00011 (X,0)=X

0,1
1

1
0

Input : 00011 (X,0)=X

0,1
1

1
0

0,1
1

1
0

Input : 00011 (X,0)=X

Input : 00011 (X,1)=y

0,1
1

1
0

Input : 00011 (y,1)=z

0,1
1

1
0

0,1
1

: 00011

01011

Input : 01011 (x,0)=x

1
0

0,1
1

1
0

Input : 01011 (x,1)=y

0,1
1

1
0

Input : 01011 (y,0)=x

0,1
1

1
0

Input : 01011 (x,1)=y

Input : 01011 (y,1)=z

0,1
1

1
0

0,1

: 01011

010110

Input : 010110 (x,0)=x

0,1
1

1
Input : 010110 (x,1)=y

0,1
1

1
0
Input : 010110 (y,0)=x

0
0,1
1

1
0

0
Input : 010110 (x,1)=y

0,1
1

1
0

Input : 010110 (y,1)=z

Input : 010110

(z,0)=z

0,1
1

1
0

L5

: 010110

FA->RE

0,1
1

L5
0

0,1
0+10

11
L5

L5
0,1
(0+10)*11(0+

RE = (0+10)*11(0+1)*

L2 U L5

M={Q,,,q0,F }
Q={AX,BX,DY,CX,AY,CY,AZ,CZ,DZ,DX,BY,BZ}
={0,1}

(AX,0)=BX
(BX,0)=AX
(DY,0)=CX
(CX,0)=DX
(AY,0)=BX
(CY,0)=DX
(AZ,0)=BZ
(CZ,0)=DZ
(DZ,0)=CZ
(DX,0)=CX
(BY,0)=AX
(BZ,0)=AZ

q0=AX

F={AZ,CZ,DZ,DX,BZ,DY}

(AX,1)=CY
(BX,1)=DY
(DY,1)=BZ
(CX,1)=AY
(AY,1)=CZ
(CY,1)=AZ
(AZ,1)=CZ
(CZ,1)=AZ
(DZ,1)=BZ
(DX,1)=BY
(BY,1)=DZ
(BZ,1)=DZ

01011

Input : 01011 (AX,0)=BX

Input : 01011 (BX,1)=DY

Input : 01011 (DY,0)=CX

Input : 01011 (CX,1)=AY

Input : 01011 (AY,1)=CZ

11011

Input : 11011 (AX,1)=CY

Input : 11011 (CY,1)=AZ

Input : 11011 (AZ,0)=BZ

Input : 11011 (BZ,1)=DZ

Input : 11011 (DZ,1)=BZ

10011

Input : 10011 (AX,1)=CY

Input : 10011 (CY,0)=DX

Input : 10011 (DX,0)=CX

Input : 10011 (CX,1)=AY

Input : 10011 (AY,1)=CZ

BX

FA L2 U L5

RE

1
1

CY

1
0

1
1

BY

DY

1
01
0
1

1
1
BY

0
0

CX

011

00

1
1

+AZ

0 BY
+BZ

+CZ

+DZ

DX

011

00

010

-AX

11
0

+AZ

0
1
1

+BZ

1
1
BY

CZ

1
+CZ

1 0

0
+DZ

10(0

011
11

11

00
-AX

11

10

+AZ

0
01

+BZ

00
BY

AY

10

1
+DZ

10(00)*1

011

010110

11

00

01010

-AX

11
0

+AZ

0
01

+BZ

00

10(00)*1
BY

BZ

10

0
+DZ

010110+0111

00+01010
-AX

11+00

11+0110
+AZ

01
0

10
+DZ

1
BY

BY

10(00)*1
00+11

010110+0111

01

(00+01010)+10(00)*10
-AX

11+00

11+0110
+AZ

01
10
+DZ

00+11

AZ

010110+0111

01

(00+01010)+10(00)*10
-AX

(11+0110)01

+DZ

(00+11)+10(11+00)*01

(00+01010)+10(00)*10
-AX

(11+0110)01+01+010110+0111

+DZ

(00+11)+10(11+00)*01

(00+11)+10(11+00)*01
((00+01010)+10(00)*10)*(11+0110)01+01+010110+0111
+DZ

RE = ((00+01010)+10(00)*10)*
(11+0110)01+01+010110+0111((00+11)+10(11+
00)*01)*

00

01

11

L2
-A

1
C
1