Nondeterministic Finite Automata (NFA) : Multiple Next State

mywbut.
com
Nondeterministic Finite Automata (NFA)
Nondeterminism is an important abstraction in computer science. Importance of nondeterminism

is found in the design of algorithms. For examples, there are many problems with efficient
nondeterministic solutions but no known efficient deterministic solutions. (Travelling salesman,
Hamiltonean cycle, clique, etc). Behaviour of a process is in a distributed system is also a good
example of nondeterministic situation. Because the behaviour of a process might depend on
some messages from other processes that might arrive at arbitrary times with arbitrary contents.
It is easy to construct and comprehend an NFA than DFA for a given regular language. The
concept of NFA can also be used in proving many theorems and results. Hence, it plays an
important role in this subject.
In the context of FA nondeterminism can be incorporated naturally. That is, an NFA is defined in
the same way as the DFA but with the following two exceptions:
• multiple next state.

• - transitions.
Multiple Next State:
In contrast to a DFA, the next state is not necessarily uniquely determined by the current state
and input symbol in case of an NFA. (Recall that, in a DFA there is exactly one start state and
exactly one transition out of every state for each symbol in ).
This means that - in a state q and with input symbol a - there could be one, more than one or zero
next state to go, i.e. the value of is a subset of Q. Thus = which
means that any one of could be the next state.
The zero next state case is a special one giving = , which means that there is no next
state on input symbol when the automata is in state q. In such a case, we may think that the
automata "hangs" and the input will be rejected.
- Transitions:
In an -transition, the tape head doesn't do anything- it doesnot read and it doesnot move.
However, the state of the automata can be changed - that is can go to zero, one or more states.
1
mywbut.com
This is written formally as implying that the next state could by any one
of w/o consuming the next input symbol.
Acceptance:
Informally, an NFA is said to accept its input if it is possible to start in some start state and
process , moving according to the transition rules and making choices along the way
whenever the next state is not uniquely defined, such that when is completely processed (i.e.
end of is reached), the automata is in an accept state. There may be several possible paths
through the automation in response to an input since the start state is not determined and there
are choices along the way because of multiple next states. Some of these paths may lead to
accept states while others may not. The automation is said to accept if at least one
computation path on input starting from at least one start state leads to an accept state-
otherwise, the automation rejects input . Alternatively, we can say that, is accepted iff
there exists a path with label from some start state to some accept state. Since there is no
mechanism for determining which state to start in or which of the possible next moves to take
(including the -transitions) in response to an input symbol we can think that the automation is
having some "guessing" power to chose the correct one in case the input is accepted.
Example 1 : Consider the language L = { {0, 1}* | The 3rd symbol from the right is 1}. The
following four-state automation accepts L.
The m/c is not deterministic since there are two transitions from state on input 1 and no
transition (zero transition) from on both 0 & 1.
For any string whose 3rd symbol from the right is a 1, there exists a sequence of legal
transitions leading from the start state q, to the accept state . But for any string where 3rd
symbol from the right is 0, there is no possible sequence of legal tranisitons leading from and
. Hence m/c accepts L. How does it accept any string L?
The m/c starts at and remains in the state on any input until the 3rd symbol from the right is
encountered. (Of course, must satisfy | | 3). At this point, if the symbol is 1, it goes to the
state and these enters & in the next two steps on any input 0 or 1. But if the 3rd symbol
from the right is , thus it will get stuck at that point, because of no transition defined.
To enter the state from , the m/c needs the input 1. If the 1 occur prior to the position 4 in
the input or more from the right (instead of 3rd), thus it can enter from on that input and
finally will enter accept state but at that point some of the input symbols may be left i.e. the
input will not be exhausted and hence, the string will not be accepted by the m/c.
2
mywbut.com
The Extended Transition function, :
To describe acceptance by an NFA formally, it is necessary to extend the transition function,

denoted as , takes a state and a string , and returns the set of states, S Q, that
the NFA is in after processing the string if it starts in state q.
Formally, is defined as follows:
1. that is, without rending any input symbol, an NFA doesnot change state.
2. Let some and a . Also assume that
. Then .
That is, can be computed by first computing , and by then following any
transitive from any of these stats that is labeled a.
Formal definition of NFA:
Formally, an NFA is a quintuple where Q, , , and F bear the same

meaning as for a DFA, but , the transition function is redefined as follows:
Where P(Q) is the power set of Q i.e. .
The Language of an NFA :
From the discussion of the acceptance by an NFA, we can give the formal definition of a
language accepted by an NFA as follows:
If is an NFA, then the language accepted by N is written as L(N) is given by
3
mywbut.com
That is, L(N) is the set of all strings w in such that contains at least one accepting
state.

Nondeterministic Finite Automata (NFA) : Multiple Next State

Uploaded by

Copyright:

Available Formats

Nondeterministic Finite Automata (NFA) : Multiple Next State

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Nondeterministic Finite Automata (NFA) : Multiple Next State

Uploaded by

Copyright:

Available Formats

mywbut.

Nondeterministic Finite Automata (NFA)

Nondeterminism is an important abstraction in computer science. Importance of nondeterminism

• multiple next state.

Multiple Next State:

The Extended Transition function, :

To describe acceptance by an NFA formally, it is necessary to extend the transition function,

Formally, is defined as follows:

Formal definition of NFA:

Formally, an NFA is a quintuple where Q, , , and F bear the same

Where P(Q) is the power set of Q i.e. .

The Language of an NFA :

If is an NFA, then the language accepted by N is written as L(N) is given by

You might also like