Example (figure 1)

Figure 1: Example of NFA

$A$ is a non-deterministic automaton with $\Sigma = \{ a, b, c \}$, $Q = \{ 1,2,3,4,5 \}$, $I = \{ 1 \}$, $F = \{ 2, 5 \}$ and $\Delta = \{ (1,a,2), (2,b,2), (1,b,3), (3,a,5), (1,b,4), (4,c,5) \}$.
$L(A) = \{ ab^{*}, ba, bc \}$.