///
Considere um autômato não determinístico NFA = (Q, Σ, δ, q, F), onde Q = {a, b, c, d, e, f, g} representa os estados, Σ = {0,1} é o alfabeto, δ é a função de transição, q é o estado inicial e F = {c, f} os estados de aceitação, representados pelo diagrama a seguir
| ε | 0 | 1 | |
|---|---|---|---|
| →a | {d} | {a} | {b} |
| b | {b} | {c} | |
| *c | {c} | ||
| d | {d,e} | {d} | |
| e | {f} | {e} | |
| *f | {f} | {f} |
A linguagem desse autômato pode ser descrita como