Converted nondeterministic machines to use transition objects rather than a function.