Reverse non-deterministic finite states machine with single start and
accepting state. Final exam question 5.