GNfaToDfa Port to .net of https://www.itu.dk/people/sestoft/javaprecisely/javaprecisely2-examples/Example139.java Example 139 from page 109 of Java Precisely second edition (The MIT Press 2005). Author: Peter Sestoft (sestoft@itu.dk).