Added example non-deterministic finite state machine.