Define your NFA
Initial State Rule
- Single State Define the starting state of your automation (e.g., q0). Only one initial state is allowed.
- Example
q0 - Note The initial state must belong to the state graph transitions you define below.
Final States Rules
- Comma Separated Declare multiple final states separated by a comma.
- Example
q2,q4 - Note Final states must belong to the state graph transitions you define below.
Alphabet Symbols
- Letters / Digits Characters allowed in transitions (e.g.: A-Z, a-z, 0-9).
- Comma Separated Separate alphabet symbols with commas.
- Example
a,b - Epsilon You do not need to include
εorEin the alphabet; it is supported by default.