- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- iOS
- HTML
- CSS
- Android
- Python
- C Programming
- C++
- C#
- MongoDB
- MySQL
- Javascript
- PHP
- Physics
- Chemistry
- Biology
- Mathematics
- English
- Economics
- Psychology
- Social Studies
- Fashion Studies
- Legal Studies

- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who

# Construct ∈-NFA of Regular Language L = 0(0+1)*1

The ∈ transitions in Non-deterministic finite automata (NFA) are used to move from one state to another without having any symbol from input set Σ

∈-NFA is defined in five tuple representation

{Q, q0, Σ, δ, F}

Where,

δ − Q × (Σ∪∈)->2

^{Q}Q − Finite set of states

Σ − Finite set of the input symbol

q0 − Initial state

F − Final state

δ: Transition function

## NFA without ε transition

NFA also has five states same as DFA, but with different transition function, as shown follows −

$$\delta\colon\:Q\times\:\sum\longrightarrow\:2^{Q}$$

Where,

Q − Finite set of states

Σ − Finite set of the input symbol

q0 − Initial state

F − Final state

δ − Transition function

## Example

Consider NFA with ε as follows −

Here q0 is a start state with input 0, one can be either in state q0 or in state q1.

If we get at the start symbol 1 then with epsilon transition, we can change state from q0 to q1 and then input 1 can be in state q1.

On the other hand, from state q0 with input 1, we can reach state q2.

Thus, it is not sure that on input 1 whether we will be in state q1 or q2.

Hence it is called non deterministic finite automata and since there are some epsilon moves by which we can simply change the state from 1 to other.

Hence it is called NFA with epsilon.

Let’s consider the given language L = 0(0+1)*1.

## Construct ε-NFA

Steps for construction for ε-NFA are as follows −

**Step 1 **− NFA with epsilon for 0+ is as follows −

**Step 2** − NFA with epsilon for 0* is as follows −

**Step 3** − NFA with epsilon for (0+1) is as follows −

The above transition diagram accepts either 0 or 1 as input. Those two paths lead to the final state.

**Step 4 **− NFA with epsilon for 01 is as follows −

For concatenation 0 must be followed by 1.

**Step 5** − ε-NFA for L = 0(0+1)*1 is as follows −

L = 0(0+1)*1 is divided into three parts- 0, (0+1)* and 1. The second part, (0+1)*, is constructed above just concatenate with 0 and 1, followed by second rule 0*.

The final NFA with epsilon move is as follows −

- Related Articles
- Construct ∈-NFA of Regular Language L = (0+1)*(00+ 11)
- Construct ∈-NFA of Regular Language L = (00)*1(11)*
- Construct ∈-NFA of Regular Language L = b + ba*
- Construct ∈-NFA of Regular Language L = {ab,ba}
- Construct a Turing Machine for language L = {wwr | w ∈ {0, 1}}
- Construct a ∈-NFA for the language L = (a* + b*)
- Construct a PDA for language L = {0n 1m2m3n | n>=1, m>=1}
- Construct a Turing Machine for language L = {0n1n2n | n≥1}
- Construct DFA of alternate 0’s and 1’s
- Construct Pushdown automata for L = {0(n+m)1m2n | m, n = 0} in C++
- Design NFA with Σ = {0, 1} and accept all string of length at least 2.
- Convert RE 1(0+1)*0 into equivalent DFA.
- Difference between while(1) and while(0) in C language
- Construct Pushdown automata for L = {0n1m2m3n | m,n = 0} in C++
- Construct NFA for the following language and convert it into DFA using the algorithm - L = (aa+ (bb*)c*)