GATE CSIT 2005 :
An organization has a class B network and wishes to form subnets for 64 departments. The subnet mask would be:
|
State |
Input = a |
Input = b |
|
->q0 Initial state |
q1 |
q3 |
|
q1 |
q2 |
q4 |
|
q2 |
q1 |
q1 |
|
q3 |
q2 |
q4 |
|
q4 Final state |
q4 |
q4 |
|
State |
Input = a |
Input = b |
|
->{q0,q2} Initial state |
{q1,q3} |
{q1,q3} |
|
{q1,q3} |
{q0,q2} |
{q4} |
|
{q4} Final state |
{q4} |
{q4} |
![]() |
| NFA with epsilon moves |
|
State |
0 |
1 |
2 |
|
->q1 |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
q2 |
φ |
{q2,q3} |
{q3} |
|
q3 |
φ |
φ |
{q3} |
![]() |
| NFA without epsilon |
|
State |
0 |
1 |
2 |
|
->q1 |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
q2 |
φ |
{q2,q3} |
{q3} |
|
q3 |
φ |
φ |
{q3} |
|
State |
Input = 0 |
Input = 1 |
Input = 2 |
|
{q1} |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
{q2} |
φ |
{q2,q3} |
{q3} |
|
{q3} |
φ |
φ |
{q3} |
|
{q1,q2,q3} |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
{q2,q3} |
φ |
{q2,q3} |
{q3} |
|
φ |
φ |
φ |
φ |
| DFA from NFA |
|
State |
Input = 0 |
Input = 1 |
Input = 2 |
|
{q1} |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
{q2} |
φ |
{q2,q3} |
{q3} |
|
{q3} |
φ |
φ |
{q3} |
|
{q1,q2,q3} |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
{q2,q3} |
φ |
{q2,q3} |
{q3} |
|
φ |
φ |
φ |
φ |
|
State |
Input = 0 |
Input = 1 |
Input = 2 |
|
{q1} |
{q1} |
{q2} |
{q3} |
|
{q2} |
φ |
{q2} |
{q3} |
|
{q3} |
φ |
φ |
{q3} |
|
φ |
φ |
φ |
φ |
|
State |
0 |
1 |
2 |
|
->q1 |
{q1,q2,q3} |
{q2,q3} |
{q3} |
|
q2 |
φ |
{q2,q3} |
{q3} |
|
q3 |
φ |
φ |
{q3} |