Add `SimpleNFA` examples in docs.

[marfvr]

Is your feature request related to a problem? Please describe.

There is no thorough documentation regarding non-deterministic finite automata.

Describe the solution you'd like

Add examples for SimpleNFA.

Describe alternatives you've considered

Additional context