Added new methods. Came up with strategy for AbstractNFA, but going to
wait to implement and see if we can find a simpler solution...