Source: http://www.jflap.org/modules/ConvertedFiles/Nondeterministic%20Finite%20Automata%20Exercise2.pdf