- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- MS Excel
- 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 a âˆˆ-NFA for the language L = (a* + b*)

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 is defined in five tuple representation

{Q, q0, Σ, δ, F}

Where,

δ − Q X Σ→ 2

^{Q}Q − Finite set of states

Σ − Finite set of the input symbol

q0 − Initial state

F − Final state

δ − Transition function

NFA and NFA with epsilon both are almost the same; the only difference is their transition function.

Let’s consider the given language L = (a*+b*)

## Steps for construction ε-NFA

**Step 1 **− NFA with epsilon for a* is as follows −

a^{*} means there can be any number of ‘a’ in the expression, even 0 ( if the input symbol is null then also it is valid).

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

b^{*} means there can be any number of b’s in the expression, even 0 (if input symbol is null then also it is valid).

**Step 3** − Now construct a*+b* using first and second steps.

The given language is divided into two parts like a* and b* and add two steps by using ‘+’ sign to get the result.

- Related Articles
- Construct âˆˆ-NFA of Regular Language L = b + ba*
- Construct âˆˆ-NFA of Regular Language L = {ab,ba}
- Construct âˆˆ-NFA of Regular Language L = (00)*1(11)*
- Construct âˆˆ-NFA of Regular Language L = 0(0+1)*1
- Construct âˆˆ-NFA of Regular Language L = (0+1)*(00+ 11)
- Construct a TM for the language L= {ww : w âˆˆ {0,1}}
- Construct NFA for the following language and convert it into DFA using the algorithm - L = (aa+ (bb*)c*)
- Construct a Turing Machine for language L = {0n1n2n | nâ‰¥1}
- Construct a Turing Machine for language L = {ww | w âˆˆ {0,1}}
- Construct a Turing Machine for language L = {wwr | w âˆˆ {0, 1}}
- Construct a PDA for language L = {0n 1m2m3n | n>=1, m>=1}
- Construct NFA with Epsilon moves for regular expression a+ba*.
- Construct a Turing Machine for L = {a^n b^n | n>=1}
- State the worst case number of states in DFA and NFA for a language?
- Design NPDA for accepting the language L = {am b(2m) | m>=1}